diff options
| author | David Aspinall | 1999-01-15 16:22:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:22:06 +0000 |
| commit | 56115fcdb393c1133ac2ba65fb6ec73f579fb689 (patch) | |
| tree | 474117354be1be8f9dbe8c2492b78f22fc806201 | |
| parent | da39b3a8e98d4cd15d13c9831ca3a883f3e466e5 (diff) | |
Ambitiously mentioned bug fix for Solaris problem
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -9,3 +9,6 @@ Summary of Changes since Proof General 2.0 (incomplete) * Bug fix for Isabelle theory file mode. + +* Bug fix for long-lines with funny characters causing + ^G's in Solaris. |