diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:03:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:03:09 +0000 |
| commit | 1f3bc5756940a7d58b32a549624a0fd10d0f52fe (patch) | |
| tree | b02937e063cff927fe710e6d1a39376fd7c78617 /etc/README | |
| parent | dbc91730ae55b4e118c093b00f2ba1863360ad1e (diff) | |
Updated
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -9,9 +9,18 @@ announce Announcement lego Files for testing LEGO Proof General isa Isabelle Proof General isar Isar PG +demoisa Isabelle Demo PG + README this file example test protocol for example proof scripts -notes.txt Misc notes
\ No newline at end of file +notes.txt Misc notes + +debugging-tips.txt Notes on debugging +profiling.txt profiling + +testing-log.txt Notes on tests carried out + +release-log.txt A record of official releases
\ No newline at end of file |