| Tue, 23 Nov 2010 08:38:32 +0100 | tuned | file | diff | annotate |
| Thu, 18 Nov 2010 18:25:05 +0100 | checked Struct_Deriv.thy ok for analogy in scala | file | diff | annotate |
| Thu, 18 Nov 2010 17:41:20 +0100 | reactivated by 'hg branch --force decompose-isar' | file | diff | annotate |
| Thu, 18 Nov 2010 17:36:07 +0100 | hg merge decompose-isar | file | diff | annotate |
| Thu, 18 Nov 2010 17:28:45 +0100 | material for teacher course/T* started, Basics finished, Rewrite partial | file | diff | annotate |
| Sat, 14 Aug 2010 18:21:21 +0200 | SD parser v.0 enhanced, 1 alternative missing | file | diff | annotate |
| Sat, 14 Aug 2010 17:03:35 +0200 | v.0 of parser for Back's structured derivations, 1 alternative missing | file | diff | annotate |
| Thu, 12 Aug 2010 16:10:04 +0200 | clarified handling of Parse.term, resume parse SDs | file | diff | annotate |
| Thu, 12 Aug 2010 11:24:34 +0200 | moved decompose-isar to final dire-structure | file | diff | annotate |