equal
deleted
inserted
replaced
115 $(LOG)/Pure-ProofGeneral.gz |
115 $(LOG)/Pure-ProofGeneral.gz |
116 |
116 |
117 |
117 |
118 ## Scala material |
118 ## Scala material |
119 |
119 |
120 SCALA_FILES = General/delay.scala General/event_bus.scala \ |
120 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
121 General/markup.scala General/position.scala General/scan.scala \ |
121 General/position.scala General/scan.scala General/swing_thread.scala \ |
122 General/swing_thread.scala General/symbol.scala General/xml.scala \ |
122 General/symbol.scala General/xml.scala General/yxml.scala \ |
123 General/yxml.scala Isar/isar.scala Isar/isar_document.scala \ |
123 Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala \ |
124 Isar/outer_keyword.scala 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_system.scala \ |
126 System/platform.scala Thy/completion.scala Thy/thy_header.scala \ |
126 System/platform.scala Thy/completion.scala Thy/thy_header.scala \ |
127 Tools/isabelle_syntax.scala |
127 Tools/isabelle_syntax.scala |
128 |
128 |
129 |
129 |