User contributions
From Clean
Jump to navigationJump to search- 13:41, 12 July 2013 diff hist 0 File:Ligretto framework.zip uploaded a new version of "File:Ligretto framework.zip": completely worked out example implementation of Ligretto case study current
- 12:32, 11 July 2013 diff hist 0 File:TOP Part 2 CEFP 2013.ppt uploaded a new version of "File:TOP Part 2 CEFP 2013.ppt": minor change: misspelled name current
- 22:51, 10 July 2013 diff hist +177 ITasks →Snapshot for CEFP 2013 Course
- 22:47, 10 July 2013 diff hist +17 N File:TOP Part 2 CEFP 2013.ppt slides lecture #2
- 22:45, 10 July 2013 diff hist +17 N File:TOP Part 1 CEFP 2013.ppt slides lecture #1 current
- 22:42, 10 July 2013 diff hist +65 ITasks →Snapshot for CEFP 2013 Course
- 22:35, 10 July 2013 diff hist 0 File:Assignments.ppt uploaded a new version of "File:Assignments.ppt": added tips at several places; changed assignment 6: more example functions in ligrettoTOP.icl, now you need to implement only the hand-rendering function current
- 22:32, 10 July 2013 diff hist 0 File:Ligretto framework.zip uploaded a new version of "File:Ligretto framework.zip": fixed missing function (glue_style_atts) in ligrettoTOP.icl; added more html-rendering functions for illustration purposes.
- 13:17, 10 July 2013 diff hist +118 ITasks →Snapshot for CEFP 2013 Course
- 21:55, 9 July 2013 diff hist +135 ITasks →Snapshot for CEFP 2013 Course
- 21:52, 9 July 2013 diff hist -2 ITasks →Snapshot for CEFP 2013 Course
- 21:51, 9 July 2013 diff hist +110 m ITasks →Snapshot for CEFP 2013 Course
- 21:48, 9 July 2013 diff hist +36 N File:Assignments.ppt The assignments for the lab-sessions
- 21:47, 9 July 2013 diff hist +89 N File:Ligretto case study.ppt slides briefly explaining what the Ligretto game is about and what the framework contains current
- 21:14, 9 July 2013 diff hist 0 File:Ligretto framework.zip uploaded a new version of "File:Ligretto framework.zip"
- 22:16, 8 July 2013 diff hist +130 ITasks →Snapshot for CEFP 2013 Course
- 22:10, 8 July 2013 diff hist +49 N File:Ligretto framework.zip Incomplete framework for the Ligretto case study.
- 09:29, 8 January 2013 diff hist +11 NL-FP dag 2013 →Programma
- 08:31, 25 September 2012 diff hist 0 ST Publications →2012
- 08:27, 25 September 2012 diff hist +214 ST Publications →2012
- 08:17, 25 September 2012 diff hist +217 ST Publications →2012
- 08:09, 25 September 2012 diff hist +66 ST Publications →2012
- 16:28, 4 September 2012 diff hist +4 ST Publications →2012
- 16:28, 4 September 2012 diff hist +309 ST Publications →2012
- 16:25, 4 September 2012 diff hist -268 ST Publications →2011
- 14:08, 4 September 2012 diff hist -8 ST Publications →2010
- 14:06, 4 September 2012 diff hist +22 ST Publications →2010
- 14:04, 4 September 2012 diff hist +32 ST Publications →2011
- 14:00, 4 September 2012 diff hist +28 ST Publications →2010
- 13:44, 4 September 2012 diff hist -1 ST Publications →2009
- 13:43, 4 September 2012 diff hist -1 ST Publications →2009
- 13:39, 4 September 2012 diff hist +227 ST Publications →2012
- 13:37, 4 September 2012 diff hist +55 ST Publications →2012
- 13:35, 4 September 2012 diff hist +344 ST Publications →2012
- 13:32, 4 September 2012 diff hist -11 ST Publications →2012
- 13:31, 4 September 2012 diff hist +115 ST Publications →2012
- 13:29, 4 September 2012 diff hist +302 ST Publications →2012
- 09:02, 24 April 2012 diff hist +445 Events →Upcoming events
- 12:14, 23 April 2012 diff hist -10 m ST Publications →2011
- 12:13, 23 April 2012 diff hist +1,125 ST Publications →2012
- 12:17, 25 October 2011 diff hist +68 ST Publications →2011: added info on IFL'10 paper Steffen Michels
- 12:15, 25 October 2011 diff hist +118 ST Publications →2011: added info on ISCRAM'11 paper Bas Lijnse
- 12:14, 25 October 2011 diff hist +485 ST Publications →2011: IFL'08 paper Bas Lijnse moved to here
- 12:13, 25 October 2011 diff hist -452 ST Publications →2009: removed IFL08 paper Bas Lijnse, to be moved to 2011
- 12:12, 25 October 2011 diff hist +425 ST Publications →2011: IFL'08 paper Pieter Koopman moved to here
- 12:11, 25 October 2011 diff hist -392 ST Publications →2009: removed IFL08 paper Pieter Koopman, to be moved to 2011
- 12:10, 25 October 2011 diff hist +428 ST Publications →2011: IFL'08 paper Jan Martin moved from 2009 to here
- 12:08, 25 October 2011 diff hist -395 ST Publications →2009: removed IFL08 paper Jan Martin Jansen, to be moved to 2011
- 12:07, 25 October 2011 diff hist +268 ST Publications →2011
- 12:52, 12 August 2011 diff hist +72 ST Publications