equal
deleted
inserted
replaced
116 |
116 |
117 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
117 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
118 General/position.scala General/swing.scala General/symbol.scala \ |
118 General/position.scala General/swing.scala General/symbol.scala \ |
119 General/xml.scala General/yxml.scala Isar/isar.scala \ |
119 General/xml.scala General/yxml.scala Isar/isar.scala \ |
120 Isar/isar_document.scala Isar/outer_keyword.scala \ |
120 Isar/isar_document.scala Isar/outer_keyword.scala \ |
121 System/isabelle_process.scala System/isabelle_system.scala \ |
121 System/cygwin.scala System/isabelle_process.scala \ |
122 Thy/thy_header.scala Tools/isabelle_syntax.scala |
122 System/isabelle_system.scala Thy/thy_header.scala \ |
|
123 Tools/isabelle_syntax.scala |
123 |
124 |
124 |
125 |
125 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
126 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
126 |
127 |
127 jar: $(SCALA_TARGET) |
128 jar: $(SCALA_TARGET) |