From fb95a8563efd3df328e4409eda0ec2e0466405a6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 10 Aug 2001 12:58:52 +0000 Subject: Rearrange list of assistants, note REGISTER. --- README | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README b/README index 3fc77d5d..070a5be6 100644 --- a/README +++ b/README @@ -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 -- cgit v1.2.3