diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:18:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:18:59 +0000 |
| commit | 620734f14fe4e106244db089bdcadca49b7d3e77 (patch) | |
| tree | 67a2cf8461cf705ee01a6d4e197180b69c2df308 /af2 | |
| parent | a7b4b5ea6fd6350664624a24954a784beea9f158 (diff) | |
Add trivial test command.
Diffstat (limited to 'af2')
| -rw-r--r-- | af2/example.af2 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/af2/example.af2 b/af2/example.af2 index 0b3c68a2..ae08853d 100644 --- a/af2/example.af2 +++ b/af2/example.af2 @@ -2,4 +2,6 @@ Example proof script for AF2 Proof General $Id$ -*)
\ No newline at end of file +*) + +test. |