diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:40:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:40:03 +0000 |
| commit | ab09e42a7c1912eedb35834effdedc7ba70f2098 (patch) | |
| tree | cfa66e5c094de4972092304511308ae64db1e61e | |
| parent | 8ba4842e8446fe395ec904291108bbd00ae37daf (diff) | |
Updated screenshot.
| -rw-r--r-- | html/IsaPGscreen.jpg | bin | 49634 -> 50670 bytes | |||
| -rw-r--r-- | todo | 2 |
2 files changed, 0 insertions, 2 deletions
diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg Binary files differindex 437ee895..5e2dda74 100644 --- a/html/IsaPGscreen.jpg +++ b/html/IsaPGscreen.jpg @@ -451,5 +451,3 @@ B According to the documentation of font-lock for Emacs 20.2, it B add links *from* Coq, Lego & Isabelle Web pages B add instructions for byte compilation - -B update screenshot so that it displays most recent icons
\ No newline at end of file |
