Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated. | 2008-01-16 | |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | 2008-01-15 | |
* | Move x-symbol-isabelle -> x-symbol-isar to simplify setup. | 2007-12-14 | |
* | Comment unused function | 2007-12-09 | |
* | removed obsolete isabelle-version-string, isa-version, isa-supports-pgip; | 2007-10-24 | |
* | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | 2006-12-07 | |
* | Use Isar-specific isabelle-system file | 2006-12-05 |