From 13a45b86ed77efea621aec97765a97e21653d4d9 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 13 Feb 2016 12:20:28 -0500 Subject: More version number fixes --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 24477c8e..1072c694 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -This is version 4.4 of Proof General. +This is version 4.4pre of Proof General. ## Setup -- cgit v1.2.3