revision author date description
23067 mario Fri Mar 11 20:38:00 2011 Extensions to the standard (manual): added TOC; renamed `define' subsection to `Curried definitions'.
17815 felix Wed Apr 14 14:08:00 2010 merged manual changes from master
16771 mario Fri Dec 18 10:57:00 2009 Changes applied for mario (189.27.147.243) through svnwiki: Replaced meaningless section titles ([<number>]) by hopefully more meaningful ones.
14097 felix Sun Apr 5 23:09:00 2009