diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 15:47:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 15:47:52 +0000 |
| commit | bcc36c712e8b321f8b9be781f48d39cee4c05565 (patch) | |
| tree | 9bacdeafafea3dc6beb2180b063c1c36c018a452 /etc/README | |
| parent | ae2e8b919a412bbb5d95999ee6609cf724b10471 (diff) | |
Updated
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -7,9 +7,11 @@ ProofGeneral.patch } announce Announcement lego Files for testing LEGO Proof General - -isa Files for testing Isabelle Proof General +isa Isabelle Proof General +isar Isar PG README this file -example test protocol for example proof script
\ No newline at end of file +example test protocol for example proof scripts + +notes.txt Misc notes
\ No newline at end of file |