diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 07:33:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-13 07:33:25 +0000 |
| commit | 52a8b752127e7841c4a0ce1571e29a4c582b73b4 (patch) | |
| tree | bee9fa2f1c8a102054dc118f70da5713e0acee49 /hol98 | |
| parent | 6402a4f1bfa1fe5b487c1ef28806fb6c181ee3f9 (diff) | |
Note about diff HOL versions.
Diffstat (limited to 'hol98')
| -rw-r--r-- | hol98/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hol98/README b/hol98/README index a88902f5..d1b8d07f 100644 --- a/hol98/README +++ b/hol98/README @@ -15,13 +15,13 @@ HOL homepage: http://www.cl.cam.ac.uk/Research/HVG/HOL/HOL.html This is a "technology demonstration" of Proof General for HOL 98. It may work with other versions of HOL, but is untested (please let me -know if you try). +know if you try). Probably just a few settings need changing +to configure for different output formats. It has basic script management support, with a little bit of decoration of scripts and output. There is support for X Symbol, but not using a proper token language. -Try writing "philosophy" ! I have written this in the hope that somebody from the HOL community will adopt it, maintain and improve it, and thus turn it into a proper |