User contributions
From Clean
Jump to navigationJump to search- 23:51, 10 July 2013 diff hist +177 ITasks →Snapshot for CEFP 2013 Course
- 23:47, 10 July 2013 diff hist +17 N File:TOP Part 2 CEFP 2013.ppt slides lecture #2
- 23:45, 10 July 2013 diff hist +17 N File:TOP Part 1 CEFP 2013.ppt slides lecture #1 current
- 23:42, 10 July 2013 diff hist +65 ITasks →Snapshot for CEFP 2013 Course
- 23: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
- 23: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.
- 14:17, 10 July 2013 diff hist +118 ITasks →Snapshot for CEFP 2013 Course
- 22:55, 9 July 2013 diff hist +135 ITasks →Snapshot for CEFP 2013 Course
- 22:52, 9 July 2013 diff hist -2 ITasks →Snapshot for CEFP 2013 Course
- 22:51, 9 July 2013 diff hist +110 m ITasks →Snapshot for CEFP 2013 Course
- 22:48, 9 July 2013 diff hist +36 N File:Assignments.ppt The assignments for the lab-sessions
- 22: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
- 22:14, 9 July 2013 diff hist 0 File:Ligretto framework.zip uploaded a new version of "File:Ligretto framework.zip"
- 23:16, 8 July 2013 diff hist +130 ITasks →Snapshot for CEFP 2013 Course
- 23:10, 8 July 2013 diff hist +49 N File:Ligretto framework.zip Incomplete framework for the Ligretto case study.
- 10:29, 8 January 2013 diff hist +11 NL-FP dag 2013 →Programma
- 09:31, 25 September 2012 diff hist 0 ST Publications →2012
- 09:27, 25 September 2012 diff hist +214 ST Publications →2012
- 09:17, 25 September 2012 diff hist +217 ST Publications →2012
- 09:09, 25 September 2012 diff hist +66 ST Publications →2012