equal
deleted
inserted
replaced
121 |
121 |
122 ## Scala material |
122 ## Scala material |
123 |
123 |
124 SCALA_FILES = General/markup.scala General/position.scala \ |
124 SCALA_FILES = General/markup.scala General/position.scala \ |
125 General/symbol.scala General/xml.scala General/yxml.scala \ |
125 General/symbol.scala General/xml.scala General/yxml.scala \ |
126 Tools/isabelle_process.scala Tools/isabelle_syntax.scala \ |
126 Isar/isar.scala Tools/isabelle_process.scala \ |
127 Tools/isabelle_system.scala |
127 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
128 |
128 |
129 |
129 |
130 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
130 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
131 |
131 |
132 jar: $(SCALA_TARGET) |
132 jar: $(SCALA_TARGET) |