| 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 |
| Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | file | diff | annotate |
| Thu, 23 Feb 2012 15:49:40 +0100 | wenzelm | clarified Graph.restrict (formerly Graph.subgraph) based on public graph operations; | file | diff | annotate |