diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 20:35:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 20:35:13 +0000 |
| commit | 2b9401a8939d55105dd02d87f2d978f9924f8ced (patch) | |
| tree | 2e727eb2ae292c0b6a1ab034c43228c89e7113a1 | |
| parent | 8a6074d9d540597d25e73d7fd99cc7512db5b4ec (diff) | |
Typo
| -rw-r--r-- | html/news.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.phtml b/html/news.phtml index 19f7c23c..ae3a823f 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -21,7 +21,7 @@ version. New! With Proof General 3.0, adapting to a new prover is easier than ever before! It includes an - <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance"); ?> + <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance ");?> of Proof General for Isabelle, which configures the main core of the interface with less than 30 lines of code. Not bad for getting about 4000 lines worth of code in benefit! |