equal
deleted
inserted
replaced
124 ## Scala material |
124 ## Scala material |
125 |
125 |
126 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
126 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
127 General/position.scala General/swing.scala General/symbol.scala \ |
127 General/position.scala General/swing.scala General/symbol.scala \ |
128 General/xml.scala General/yxml.scala Isar/isar.scala \ |
128 General/xml.scala General/yxml.scala Isar/isar.scala \ |
129 Isar/outer_keyword.scala Thy/thy_header.scala \ |
129 Isar/isar_document.scala Isar/outer_keyword.scala \ |
130 Tools/isabelle_process.scala Tools/isabelle_syntax.scala \ |
130 Thy/thy_header.scala Tools/isabelle_process.scala \ |
131 Tools/isabelle_system.scala |
131 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
132 |
132 |
133 |
133 |
134 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
134 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
135 |
135 |
136 jar: $(SCALA_TARGET) |
136 jar: $(SCALA_TARGET) |