From 00749f3da07d47963286791af86441f52dac5432 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 19:36:40 +0000 Subject: Updated --- todo | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/todo b/todo index 2fa415e9..2a8a62f3 100644 --- a/todo +++ b/todo @@ -32,13 +32,6 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to in the generic interface -*** D RPM package todos: - - get specific doc files into RPM package (subdirs of doc/) - - Think about adding wmconfig stuff (icons in images/ now) - -*** C Fix the doc makefiles to adapt the image flag in PG-adapting.tex - properly, for dvi/ps targets - *** C The PG isabelle-completion-table seems to be subject to case-fold, which it shouldn't be: \ does not work, but \ is OK. @@ -51,6 +44,18 @@ X (Low) e.g. probably not worth spending time on *** B Move 3.3 over to new better designed parsing function mechanism. +*** C ChangeLog generation still not right. + Suggested fix: use the prefix that rcs2log generates, without prepending. + Take a tail of the current ChangeLog and use that as the starting point, + perhaps? + +*** D RPM package todos: + - get specific doc files into RPM package (subdirs of doc/) + - Think about adding wmconfig stuff (icons in images/ now) + +*** C Fix the doc makefiles to adapt the image flag in PG-adapting.tex + properly, for dvi/ps targets + *** D some renaming for uniformity: proof-comment-start -> proof-script-comment-start, ditto end -- cgit v1.2.3