diff options
| -rw-r--r-- | etc/release-log.txt | 14 | ||||
| -rw-r--r-- | todo | 2 |
2 files changed, 10 insertions, 6 deletions
diff --git a/etc/release-log.txt b/etc/release-log.txt index 77637f47..20574eab 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,12 +1,14 @@ +30.11.99 3.0.3 Release_3_0_3 + Full version now in version stamp. -29.11.99 Release_3_0_2 +29.11.99 3.0.2 Release_3_0_2 Added some more key-bindings and menu entries to Isabelle's theory file mode. -26.11.99 Release 3_0 +26.11.99 3.0 Release 3_0 First attempt at 3.0 release - Release_3_0_1 + 3.0.1 Release_3_0_1 Fixed problem with proof-shell-proof-completed-regexp in Isabelle. @@ -14,12 +16,12 @@ -------------------- -25.8.99 Release_2_1_3 +25.8.99 2.1.3 Release_2_1_3 Fixed RPM package to include isar/ -24.8.99 Release_2_1_2 +24.8.99 2.1.2 Release_2_1_2 Official release Proof General 2.1 -23.8.99 Release_2_1_1 +23.8.99 2.1.1 Release_2_1_1 First release of Proof General version 2.1. Missing Isar and with broken version stamp (2.1pre990820) @@ -59,6 +59,8 @@ D X-Symbol improvements: see if we can get support for remove spurious settings of calculated stuff from x-symbol-isa.el (see FIXME comments in v3.1 there). +D X-Symbol improvement: turning it on/off seems to move point. + D Strange problem when running in tty mode: c-c c-RET seems to be impossible to type. Consider binding C-c RET instead when running on a console. |