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
Tue, 12 Apr 2005 13:38:08 +0200
changeset 15701 63f6614f95dc
parent 15700 970e0293dfb3
child 15702 2677db44c795
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Tue Apr 12 11:08:25 2005 +0200
+++ b/TODO	Tue Apr 12 13:38:08 2005 +0200
@@ -27,4 +27,8 @@
 
 - ball, bex and setsum congruence rules (Tobias & Stefan)
 
+- html generation: somtimes lemma names and whole lemmas are missing.
+  See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html
+  (Markus?)
+
 - remove this file (Tobias)
isabelle