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 one blank at end of line 37
authoroheimb
Fri, 25 Apr 1997 11:11:52 +0200
changeset 3050 7eacab79b8e1
parent 3049 79c1ba7effb2
child 3051 30490aa41356
removed one blank at end of line 37
src/HOLCF/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Makefile	Thu Apr 24 19:47:53 1997 +0200
+++ b/src/HOLCF/Makefile	Fri Apr 25 11:11:52 1997 +0200
@@ -34,7 +34,7 @@
 ONLYTHYS = Lift.thy
 
 FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
-        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \ 
+        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \
         ax_ops/thy_ops.ML    ax_ops/thy_syntax.ML \
         domain/library.ML  domain/syntax.ML   domain/axioms.ML \
         domain/theorems.ML domain/extender.ML domain/interface.ML
isabelle