# HG changeset patch
# User wenzelm
# Date 1221850846 -7200
# Node ID 14ab7a17e92bb2a725d9a27dd552157c732d1b55
# Parent  3eb2855e54028666d6b83f608666e3b49ad2941e
added Isar/isar.scala;

diff -r 3eb2855e5402 -r 14ab7a17e92b src/Pure/IsaMakefile
--- 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