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 31827 b54362b9fbef
parent 31825 d47a9dc1f064
child 31830 4c721440ee62 
--- a/src/Pure/IsaMakefile	Sun Jun 28 15:39:51 2009 +0200
+++ b/src/Pure/IsaMakefile	Sun Jun 28 16:01:52 2009 +0200
@@ -121,9 +121,9 @@
   General/position.scala General/scan.scala General/swing.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/isabelle_process.scala			\
-  System/isabelle_system.scala System/platform.scala			\
-  Thy/completion.scala Thy/thy_header.scala				\
+  System/cygwin.scala System/gui_setup.scala				\
+  System/isabelle_process.scala System/isabelle_system.scala		\
+  System/platform.scala Thy/completion.scala Thy/thy_header.scala	\
   Tools/isabelle_syntax.scala
 
 
@@ -137,7 +137,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf `jvmpath $@` isabelle
+	@cd classes; jar cfe `jvmpath $@` isabelle.GUI_Setup isabelle
 	@rm -rf classes
 
 clean-jar:
isabelle