| Tue, 21 Oct 2008 22:27:53 +0200 | wenzelm | explicit home path for default file -- more robust; | file | diff | annotate |
| Tue, 21 Oct 2008 22:00:11 +0200 | wenzelm | disabled tracing; | file | diff | annotate |
| Tue, 21 Oct 2008 21:48:16 +0200 | wenzelm | Isabelle/jEdit interface wrapper. | file | diff | annotate |