diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 12:58:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-10 12:58:52 +0000 |
commit | fb95a8563efd3df328e4409eda0ec2e0466405a6 (patch) | |
tree | ae76393ebc0ac96277ef474a6e83743d077ffaaf /README | |
parent | 4696be09e95894addd81ba79fde832ac45ebd750 (diff) |
Rearrange list of assistants, note REGISTER.
Diffstat (limited to 'README')
-rw-r--r-- | README | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -20,6 +20,8 @@ See INSTALL for installation details. See COPYING for license details. +See REGISTER for registration information (please register). + See doc/ for documentation of Proof General. For notes on the supported assistants, see the README files @@ -29,17 +31,15 @@ in the subdirectories: phox/ PhoX coq/ Coq demoisa/ Demonstration instance for Isabelle + hol98/ HOL 98 isa/ Isabelle isar/ Isabelle/Isar lego/ LEGO - hol98/ HOL 98 - - generic/ Generic basis for Proof General - - plastic/ Plastic [ in development release only ] - twelf/ Twelf [ in development release only ] + plastic/ Plastic + twelf/ Twelf pgkit/ PG Kit [ in development release only ] + generic/ Generic basis for Proof General Check BUGS files for problems and issues, in this directory, and for specific issues, in each prover subdirectory. Please report bugs |