From 52a8b752127e7841c4a0ce1571e29a4c582b73b4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 13 Mar 2000 07:33:25 +0000 Subject: Note about diff HOL versions. --- hol98/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'hol98') 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 -- cgit v1.2.3