From 9a353cfdcdafd7a2f7871f60d236e393bf90437c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 8 May 2001 11:14:00 +0000 Subject: preliminary -> experimental --- html/main.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/main.html b/html/main.html index a4e44b9e..8682c176 100644 --- a/html/main.html +++ b/html/main.html @@ -124,7 +124,7 @@ Proof General comes ready-customized for these proof assistants:

-There are also preliminary instances of Proof General: +There are also experimental instances of Proof General: