| Fri, 27 Jul 2012 22:26:38 +0200 | haftmann | evaluation: allow multiple code modules | file | diff | annotate |
| Sat, 21 Jul 2012 20:01:16 +0200 | haftmann | also consider current working directory (cf. 3a5a5a992519) | file | diff | annotate |
| Thu, 19 Jul 2012 22:21:59 +0200 | haftmann | export code relatively to master directory | file | diff | annotate |
| Thu, 19 Apr 2012 10:16:51 +0200 | haftmann | dropped dead code; | file | diff | annotate |
| Fri, 23 Mar 2012 20:32:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
| Thu, 15 Mar 2012 20:07:00 +0100 | wenzelm | prefer formally checked @{keyword} parser; | file | diff | annotate |