etc/release-log.txt


1
2
3
4
5
6
7
8
9
10

23.8.99   Release_2_1_1
          First release of Proof General version 2.1.
	  Missing Isar and with broken version stamp (2.1pre990820)

24.8.99   Release_2_1_2  
          Office release Proof General 2.1

25.8.99   Release_2_1_3
	  Fixed RPM package to include isar/