equal
deleted
inserted
replaced
119 $(LOG)/Pure-ProofGeneral.gz |
119 $(LOG)/Pure-ProofGeneral.gz |
120 |
120 |
121 |
121 |
122 ## Scala material |
122 ## Scala material |
123 |
123 |
124 SCALA_FILES = Concurrent/future.scala General/event_bus.scala \ |
124 SCALA_FILES = Concurrent/future.scala General/download.scala \ |
125 General/exn.scala General/linear_set.scala General/markup.scala \ |
125 General/event_bus.scala General/exn.scala General/linear_set.scala \ |
126 General/position.scala General/scan.scala General/swing_thread.scala \ |
126 General/markup.scala General/position.scala General/scan.scala \ |
127 General/symbol.scala General/xml.scala General/yxml.scala \ |
127 General/swing_thread.scala General/symbol.scala General/xml.scala \ |
128 Isar/isar_document.scala Isar/outer_keyword.scala \ |
128 General/yxml.scala Isar/isar_document.scala Isar/outer_keyword.scala \ |
129 Isar/outer_lex.scala Isar/outer_parse.scala Isar/outer_syntax.scala \ |
129 Isar/outer_lex.scala Isar/outer_parse.scala Isar/outer_syntax.scala \ |
130 System/cygwin.scala System/gui_setup.scala \ |
130 System/cygwin.scala System/gui_setup.scala \ |
131 System/isabelle_process.scala System/isabelle_syntax.scala \ |
131 System/isabelle_process.scala System/isabelle_syntax.scala \ |
132 System/isabelle_system.scala System/platform.scala \ |
132 System/isabelle_system.scala System/platform.scala \ |
133 System/session_manager.scala System/standard_system.scala \ |
133 System/session_manager.scala System/standard_system.scala \ |