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.
ex/Points added
authornarasche
Fri, 23 Oct 1998 16:11:01 +0200
changeset 5742 283f32019d58
parent 5741 139a25a1e01e
child 5743 f2cf404a9579
ex/Points added
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri Oct 23 16:07:54 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 23 16:11:01 1998 +0200
@@ -303,7 +303,7 @@
   ex/Lagrange.thy ex/Ring.ML ex/Ring.thy ex/StringEx.ML \
   ex/StringEx.thy ex/BinEx.ML ex/BinEx.thy ex/MonoidGroup.thy \
   ex/PiSets.thy ex/PiSets.ML ex/LocaleGroup.thy ex/LocaleGroup.ML \
-  ex/Antiquote.thy ex/Antiquote.ML
+  ex/Antiquote.thy ex/Antiquote.ML ex/Points.thy ex/Points.ML
 	@$(ISATOOL) usedir $(OUT)/HOL ex
isabelle