diff options
| author | David Aspinall | 1999-09-13 14:30:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:30:43 +0000 |
| commit | 6ed9e5bdfc5840188a33a7f077331b4d5ec8d510 (patch) | |
| tree | e0ec717c5de31fc4360ec739dac0fcb17425dfe1 | |
| parent | cc1ab97c86bc18254536535b0f5561c2067cf483 (diff) | |
No longer cutting edge, really.
| -rw-r--r-- | doc/ProofGeneral.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 2ef15694..a46f1302 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -265,8 +265,7 @@ need better support for script management. @cindex generic In 1997, Dilip Sequeira implemented script management in our Emacs interface for LEGO following the recipe in -[BT98] @footnote{Notice the publication date. We really do provide -cutting-edge technology!}. Inspired by the project CROAP, the +[BT98]. Inspired by the project CROAP, the implementation made some effort to be generic. A working prototype was presented at UITP'97. |