From 19571f4d2052a7a2a19f7d55f3aef8dc62fea519 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Sep 2001 21:49:50 +0000 Subject: Add author --- README.windows | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.windows b/README.windows index 751de198..fb4d1b37 100644 --- a/README.windows +++ b/README.windows @@ -7,3 +7,6 @@ Proof General now works under Windows with the following restrictions: tested with XEmacs cygwin or any other version) - Toolbar: enablers do not work so the buttons are always active + + +[ Christoph Rafalli , 1.8.01 ] \ No newline at end of file -- cgit v1.2.3