User contributions
From Clean
Jump to navigationJump to search- 16:37, 23 November 2018 diff hist +125 Documentation →Libraries
- 16:33, 23 November 2018 diff hist +36 N File:ConciseGuideToClean3xStdEnv.pdf guide to StdEnv modules of Clean 3.x current
- 16:32, 23 November 2018 diff hist +33 N File:ConciseGuideToClean2xStdEnv.pdf guide to Clean 2.x StdEnv modules current
- 12:12, 5 July 2018 diff hist +229 ITasks
- 11:21, 1 November 2017 diff hist -217 ST Publications →2012
- 11:17, 1 November 2017 diff hist +152 ST Publications →2017
- 11:16, 1 November 2017 diff hist +10 ST Publications →2016
- 11:16, 1 November 2017 diff hist +16 ST Publications →Table of Contents
- 11:10, 1 November 2017 diff hist -32 ST Publications →2013
- 11:09, 1 November 2017 diff hist +32 ST Publications →2013
- 11:07, 1 November 2017 diff hist +1,966 ST Publications →2016
- 10:48, 1 November 2017 diff hist +10 ST Publications →2015
- 10:46, 1 November 2017 diff hist +16 ST Publications →Table of Contents
- 10:45, 1 November 2017 diff hist +276 ST Publications →2015
- 10:38, 1 November 2017 diff hist +197 ST Publications →2014
- 14:25, 29 January 2016 diff hist +78 m Functional Programming in Clean →Part III: Software Engineering Aspects current
- 14:23, 29 January 2016 diff hist +13 m Functional Programming in Clean →Part I: Introduction to Functional Programming
- 12:33, 8 June 2015 diff hist -33 ST Publications →2015
- 12:32, 8 June 2015 diff hist 0 ST Publications →2013
- 12:32, 8 June 2015 diff hist -323 ST Publications →2014
- 12:31, 8 June 2015 diff hist +1,639 ST Publications →2015
- 12:25, 8 June 2015 diff hist +11 ST Publications →2014
- 12:23, 8 June 2015 diff hist +1,729 ST Publications →2014
- 12:13, 8 June 2015 diff hist +20 ST Publications
- 12:09, 8 June 2015 diff hist 0 ST Publications →Table of Contents
- 12:08, 8 June 2015 diff hist +33 ST Publications →Table of Contents
- 12:07, 8 June 2015 diff hist +1,083 ST Publications →2013
- 12:01, 8 June 2015 diff hist +726 ST Publications →2013
- 11:58, 8 June 2015 diff hist +949 ST Publications →2013
- 11:52, 8 June 2015 diff hist -227 ST Publications →2012
- 16:48, 9 January 2014 diff hist +30 m ST Publications →1986
- 16:47, 9 January 2014 diff hist +135 m ST Publications →1987
- 16:46, 9 January 2014 diff hist +60 m ST Publications →1988
- 16:46, 9 January 2014 diff hist +60 m ST Publications →1990
- 16:45, 9 January 2014 diff hist +225 m ST Publications →1991
- 16:44, 9 January 2014 diff hist +255 m ST Publications →1992
- 16:42, 9 January 2014 diff hist +404 m ST Publications →1993
- 16:40, 9 January 2014 diff hist +180 m ST Publications →1994
- 16:38, 9 January 2014 diff hist +358 m ST Publications →1995
- 16:36, 9 January 2014 diff hist +87 m ST Publications →1996
- 16:34, 9 January 2014 diff hist +255 m ST Publications →1997
- 16:32, 9 January 2014 diff hist +60 m ST Publications →1998
- 16:31, 9 January 2014 diff hist +150 m ST Publications →1999
- 16:30, 9 January 2014 diff hist +165 m ST Publications →2000
- 16:28, 9 January 2014 diff hist +210 m ST Publications →2001
- 16:27, 9 January 2014 diff hist +390 m ST Publications →2002
- 16:24, 9 January 2014 diff hist +240 m ST Publications →2003
- 16:22, 9 January 2014 diff hist +540 m ST Publications →2004
- 16:18, 9 January 2014 diff hist +555 m ST Publications →2005
- 16:15, 9 January 2014 diff hist +195 m ST Publications →2006
- 16:13, 9 January 2014 diff hist +270 m ST Publications →2007
- 16:11, 9 January 2014 diff hist +525 m ST Publications →2008
- 16:06, 9 January 2014 diff hist +15 m ST Publications →2009
- 16:05, 9 January 2014 diff hist +135 m ST Publications →2010
- 16:03, 9 January 2014 diff hist +105 m ST Publications →2011
- 16:00, 9 January 2014 diff hist +15 m Documentation →Libraries
- 11:50, 15 July 2013 diff hist +74 ITasks →Snapshot for CEFP 2013 Course
- 11:49, 15 July 2013 diff hist +47 N File:Assignments answers.ppt answers and explanations to the lab assignments current
- 14:43, 12 July 2013 diff hist +3 ITasks →Snapshot for CEFP 2013 Course
- 14:42, 12 July 2013 diff hist +46 ITasks →Snapshot for CEFP 2013 Course
- 14: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
- 13: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
- 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
- 17:28, 4 September 2012 diff hist +4 ST Publications →2012
- 17:28, 4 September 2012 diff hist +309 ST Publications →2012
- 17:25, 4 September 2012 diff hist -268 ST Publications →2011
- 15:08, 4 September 2012 diff hist -8 ST Publications →2010
- 15:06, 4 September 2012 diff hist +22 ST Publications →2010
- 15:04, 4 September 2012 diff hist +32 ST Publications →2011
- 15:00, 4 September 2012 diff hist +28 ST Publications →2010
- 14:44, 4 September 2012 diff hist -1 ST Publications →2009
- 14:43, 4 September 2012 diff hist -1 ST Publications →2009
- 14:39, 4 September 2012 diff hist +227 ST Publications →2012
- 14:37, 4 September 2012 diff hist +55 ST Publications →2012
- 14:35, 4 September 2012 diff hist +344 ST Publications →2012
- 14:32, 4 September 2012 diff hist -11 ST Publications →2012
- 14:31, 4 September 2012 diff hist +115 ST Publications →2012
- 14:29, 4 September 2012 diff hist +302 ST Publications →2012
- 10:02, 24 April 2012 diff hist +445 Events →Upcoming events
- 13:14, 23 April 2012 diff hist -10 m ST Publications →2011
- 13:13, 23 April 2012 diff hist +1,125 ST Publications →2012