# HG changeset patch
# User wenzelm
# Date 1219525654 -7200
# Node ID 4a34af0f8cee9d73381802b288b98ca19742e73c
# Parent  825286a7a3a4e303dce9f4dacf8b213c081cf0b8
added General/position.scala;

diff -r 825286a7a3a4 -r 4a34af0f8cee src/Pure/IsaMakefile
--- 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