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, 19 Jan 2005 16:45:24 +0100
changeset 15445 8244894d0a41
parent 15444 4f14c151d9f1
child 15446 b022b72ccc03
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Tue Jan 18 14:38:20 2005 +0100
+++ b/TODO	Wed Jan 19 16:45:24 2005 +0100
@@ -6,9 +6,7 @@
 
 - modular generation of ML code with structures (Stefan)
 
-> Unfortunately when ?s are switched off during building Isabelle this 
-> broke something inside the datatype package (for Isar I think)
-  (Stefan)
+- Library/ExecutableSet.thy (Stefan)
 
 - a global "disprove" menu item both as an action and (if it can be done)
   as a setting (Stefan & Tjark)
isabelle