| Sat, 24 Jul 2010 18:08:41 +0200 | haftmann | another refinement chapter in the neverending numeral story | file | diff | annotate |
| Thu, 22 Jul 2010 12:07:30 +0200 | haftmann | more generous memory settings for scala check | file | diff | annotate |
| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | datatype classes are abstract | file | diff | annotate |
| Mon, 19 Jul 2010 11:55:44 +0200 | haftmann | distinguish different classes of const syntax | file | diff | annotate |
| Wed, 14 Jul 2010 15:08:02 +0200 | haftmann | use generic description slot for formal code checking | file | diff | annotate |
| Wed, 14 Jul 2010 14:53:44 +0200 | haftmann | formal slot for code checker | file | diff | annotate |
| Wed, 14 Jul 2010 14:20:47 +0200 | haftmann | check without explicit path | file | diff | annotate |
| Thu, 08 Jul 2010 16:41:57 +0200 | haftmann | dropped ancient in-place compilation of SML | file | diff | annotate |