| Wed, 30 May 2012 09:54:53 +0200 | Andreas Lochbihler | eliminated remaining sub- and superscripts in FinFun syntax | file | diff | annotate |
| Wed, 30 May 2012 09:46:58 +0200 | Andreas Lochbihler | syntax for FinFun composition without subscripts | file | diff | annotate |
| Wed, 30 May 2012 09:36:39 +0200 | Andreas Lochbihler | FinFun pseudo-constructor syntax without superscripts | file | diff | annotate |
| Wed, 30 May 2012 09:13:39 +0200 | Andreas Lochbihler | replace FinFun application syntax with $ | file | diff | annotate |