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.
sugar, not sugari. stupid vi ;-)
authorkleing
Fri, 17 Dec 2004 12:39:40 +0100
changeset 15419 1d63862c70d9
parent 15418 e28853da5df5
child 15420 45653714db88
sugar, not sugari. stupid vi ;-)
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Fri Dec 17 10:15:46 2004 +0100
+++ b/TODO	Fri Dec 17 12:39:40 2004 +0100
@@ -17,6 +17,6 @@
 
 - Include IsaPlanner? (Larry to co-ordinate)
 
-- update LaTeXsugari, remove references to future Isabelle2005 etc. (Gerwin)
+- update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
 
 - remove this file (Tobias)
isabelle