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.
added Isar/isar.scala;
authorwenzelm
Fri, 19 Sep 2008 21:00:46 +0200
changeset 28299 14ab7a17e92b
parent 28298 3eb2855e5402
child 28300 111fc1879250
added Isar/isar.scala;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Fri Sep 19 18:05:19 2008 +0200
+++ b/src/Pure/IsaMakefile	Fri Sep 19 21:00:46 2008 +0200
@@ -123,8 +123,8 @@
 
 SCALA_FILES = General/markup.scala General/position.scala	\
   General/symbol.scala General/xml.scala General/yxml.scala	\
-  Tools/isabelle_process.scala Tools/isabelle_syntax.scala	\
-  Tools/isabelle_system.scala
+  Isar/isar.scala Tools/isabelle_process.scala			\
+  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
 
 
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
isabelle