Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 32486 67972a7f85b7
parent 32464 5b9731f83569
child 32539 668052c4220e 
--- a/src/Pure/IsaMakefile	Tue Sep 01 21:03:04 2009 +0200
+++ b/src/Pure/IsaMakefile	Tue Sep 01 21:40:10 2009 +0200
@@ -120,8 +120,8 @@
 SCALA_FILES = General/event_bus.scala General/linear_set.scala		\
   General/markup.scala General/position.scala General/scan.scala	\
   General/swing_thread.scala General/symbol.scala General/xml.scala	\
-  General/yxml.scala Isar/isar.scala Isar/isar_document.scala		\
-  Isar/outer_keyword.scala System/cygwin.scala System/gui_setup.scala	\
+  General/yxml.scala Isar/isar_document.scala Isar/outer_keyword.scala	\
+  System/cygwin.scala System/gui_setup.scala				\
   System/isabelle_process.scala System/isabelle_syntax.scala		\
   System/isabelle_system.scala System/platform.scala			\
   Thy/completion.scala Thy/thy_header.scala
isabelle