diff options
| author | David Aspinall | 1998-10-09 13:43:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-09 13:43:00 +0000 |
| commit | 5e19c3e5bdc749e234a96268f30f2eb2a8878645 (patch) | |
| tree | b84196ebbad546138073e9893d6ff62b18604092 | |
| parent | 6a52ce4da196e146db2d2e551362c4c5c38a9ab3 (diff) | |
Added todos for: rsh, multi file failure, multi file in Isabelle, splash.
| -rw-r--r-- | todo | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -262,6 +262,9 @@ C Make completion more generic. For Isabelle and Lego, we can build a completion table by querying the process, which is better than messing with tags. +X Splash screen: Add fancy text logo to it. Centre the display + prettily. + X Write a Makefile for the distribution. It can do things like install the info file properly. The work is at the moment done in the RPM spec file instead. @@ -386,9 +389,6 @@ B (part of above): Handle proof-retract-file by querying Isabelle about the decendants of a file. Then all the descendents can also be unlocked. -X Splash screen: Add fancy text logo to it. Centre the display - prettily. - X Write perl scripts to generate TAGS file for ML and thy files. (6h, I've completely forgotten perl), or better: |