| revision | author | date | description |
|---|---|---|---|
| 23067 | mario | Fri Mar 11 20:38:12 2011 | Extensions to the standard (manual): added TOC; renamed `define' subsection to `Curried definitions'. |
| 17815 | felix | Wed Apr 14 14:08:12 2010 | merged manual changes from master |
| 16771 | mario | Fri Dec 18 10:57:12 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:12 2009 |