diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-03 10:08:30 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-03 10:08:30 +0000 |
commit | 6549a40f3ab0eefdcd827ed4449884239c0bf2b2 (patch) | |
tree | de6794cce42463104edca51b1cca1f2c8c2ab51e /etc/README | |
parent | 19f16ac8eb742ff6337626b9d46c308ffa3e63a8 (diff) |
A* Fix display handling problems (tms, all week)
Done. :-)
Diffstat (limited to 'etc/README')
-rw-r--r-- | etc/README | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -10,3 +10,6 @@ lego Files for testing LEGO Proof General isa Files for testing Isabelle Proof General +README this file + +example test protocol for example proof script
\ No newline at end of file |