equal
deleted
inserted
replaced
115 $(LOG)/Pure-ProofGeneral.gz |
115 $(LOG)/Pure-ProofGeneral.gz |
116 |
116 |
117 |
117 |
118 ## Scala material |
118 ## Scala material |
119 |
119 |
120 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
120 SCALA_FILES = General/event_bus.scala General/linear_set.scala \ |
121 General/position.scala General/scan.scala General/swing_thread.scala \ |
121 General/markup.scala General/position.scala General/scan.scala \ |
122 General/symbol.scala General/xml.scala General/yxml.scala \ |
122 General/swing_thread.scala General/symbol.scala General/xml.scala \ |
123 Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala \ |
123 General/yxml.scala Isar/isar.scala Isar/isar_document.scala \ |
124 System/cygwin.scala System/gui_setup.scala \ |
124 Isar/outer_keyword.scala System/cygwin.scala System/gui_setup.scala \ |
125 System/isabelle_process.scala System/isabelle_syntax.scala \ |
125 System/isabelle_process.scala System/isabelle_syntax.scala \ |
126 System/isabelle_system.scala System/platform.scala \ |
126 System/isabelle_system.scala System/platform.scala \ |
127 Thy/completion.scala Thy/thy_header.scala \ |
127 Thy/completion.scala Thy/thy_header.scala |
128 |
128 |
129 JAR_DIR = $(ISABELLE_HOME)/lib/classes |
129 JAR_DIR = $(ISABELLE_HOME)/lib/classes |
130 PURE_JAR = $(JAR_DIR)/Pure.jar |
130 PURE_JAR = $(JAR_DIR)/Pure.jar |
131 FULL_JAR = $(JAR_DIR)/isabelle-scala.jar |
131 FULL_JAR = $(JAR_DIR)/isabelle-scala.jar |
132 |
132 |