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