diff options
| author | David Aspinall | 1998-12-17 10:39:22 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-17 10:39:22 +0000 |
| commit | 420639def02c1fd45060f547159a466856f6d396 (patch) | |
| tree | e9a5793318ebcffbd7ec55b0cea4076acf536cd4 | |
| parent | eb42cb63bd8629ddab05bf7e3c13e2188a7f5374 (diff) | |
This file records user-visible changes between versions.
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES new file mode 100644 index 00000000..317cbb5a --- /dev/null +++ b/CHANGES @@ -0,0 +1,4 @@ +Summary of Changes since Proof General 2.0 +------------------------------------------ + +* Documentation improvements |