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
Thu, 07 Apr 2005 10:22:55 +0200
changeset 15675 ce00c47dd100
parent 15674 4a1d07bb53e2
child 15676 042692b6275d
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Thu Apr 07 09:51:17 2005 +0200
+++ b/TODO	Thu Apr 07 10:22:55 2005 +0200
@@ -1,6 +1,8 @@
 For Isabelle2005:
 
-- update course material slides to new theory format (Tobias)
+- update course material slides to new theory headers (Tobias)
+
+- shell script to convert to new theory headers
 
 - attach additional ML code to consts_code section (Stefan)
isabelle