Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Wed, 01 Jun 2005 09:46:06 +0200
changeset 16164 6b0d68207c14
parent 16163 a9f460f16fd6
child 16165 dbe9ee8ffcdd
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Wed Jun 01 08:58:25 2005 +0200
+++ b/TODO	Wed Jun 01 09:46:06 2005 +0200
@@ -19,8 +19,6 @@
 
 - Include IsaPlanner? (Larry to co-ordinate)
 
-- update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
-
 - rules -> iprover (Stefan)
 
 - ball, bex and setsum congruence rules (Tobias & Stefan)
isabelle