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.
removed odd TODO item (see 3391a493f39a);
authorwenzelm
Thu, 08 Sep 2022 13:16:46 +0200
changeset 76085 3f5028b54419
parent 76084 315a6b0b6173
child 76086 338adf8d423c
removed odd TODO item (see 3391a493f39a);
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Thu Sep 08 13:13:40 2022 +0200
+++ b/src/Pure/Isar/proof.ML	Thu Sep 08 13:16:46 2022 +0200
@@ -1334,7 +1334,7 @@
 end;
 
 
-(* terminal proofs *)  (* FIXME avoid toplevel imitation -- include in PIDE/document *)
+(* terminal proofs *)
 
 local
isabelle