From 720c6a5ff339e1c864b5b2c0b185d48e0bc6c1ac Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 17:26:04 +0000 Subject: Tweak --- twelf/README | 3 --- 1 file changed, 3 deletions(-) (limited to 'twelf') diff --git a/twelf/README b/twelf/README index 902da235..704545c4 100644 --- a/twelf/README +++ b/twelf/README @@ -24,6 +24,3 @@ doesn't work properly with font lock. I have written this in the hope that somebody from the Twelf community will adopt it, maintain and improve it, and thus turn it into a proper instantiation of Proof General. - - ------------- -- cgit v1.2.3