equal
deleted
inserted
replaced
112 $(OUT)/RAW $(LOG)/RAW.gz |
112 $(OUT)/RAW $(LOG)/RAW.gz |
113 |
113 |
114 |
114 |
115 ## Scala material |
115 ## Scala material |
116 |
116 |
117 SCALA_FILES = General/symbol.scala General/xml.scala \ |
117 SCALA_FILES = General/markup.scala General/symbol.scala \ |
118 General/yxml.scala Tools/isabelle_process.scala \ |
118 General/xml.scala General/yxml.scala Tools/isabelle_process.scala \ |
119 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
119 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
120 |
120 |
121 |
121 |
122 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
122 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
123 |
123 |