diff options
| author | David Aspinall | 1999-08-27 13:42:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-27 13:42:05 +0000 |
| commit | 7a6e05e0d895473673e2adc4264f86a667f70f81 (patch) | |
| tree | b5ccc9eb973850d8fcc2f59d9d7da4de85576c43 | |
| parent | ebe94eb0dc293a8ab8c96a5606ba822b02b6ba5a (diff) | |
Record of releases
| -rw-r--r-- | etc/release-log.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt new file mode 100644 index 00000000..1f8647bc --- /dev/null +++ b/etc/release-log.txt @@ -0,0 +1,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/ + |