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 General/position.scala;
authorwenzelm
Sat, 23 Aug 2008 23:07:34 +0200
changeset 27967 4a34af0f8cee
parent 27966 825286a7a3a4
child 27968 85b5f024d94b
added General/position.scala;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Sat Aug 23 23:07:30 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 23 23:07:34 2008 +0200
@@ -114,9 +114,10 @@
 
 ## Scala material
 
-SCALA_FILES = General/markup.scala General/symbol.scala			\
-  General/xml.scala General/yxml.scala Tools/isabelle_process.scala	\
-  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
+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
 
 
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar
isabelle