21 |
21 |
22 Pure: $(OUT)/Pure |
22 Pure: $(OUT)/Pure |
23 |
23 |
24 $(OUT)/Pure: Concurrent/ROOT.ML Concurrent/future.ML \ |
24 $(OUT)/Pure: Concurrent/ROOT.ML Concurrent/future.ML \ |
25 Concurrent/mailbox.ML Concurrent/par_list.ML \ |
25 Concurrent/mailbox.ML Concurrent/par_list.ML \ |
26 Concurrent/par_list_dummy.ML Concurrent/schedule.ML \ |
26 Concurrent/par_list_dummy.ML Concurrent/simple_thread.ML \ |
27 Concurrent/simple_thread.ML Concurrent/synchronized.ML \ |
27 Concurrent/synchronized.ML Concurrent/task_queue.ML General/ROOT.ML \ |
28 Concurrent/task_queue.ML General/ROOT.ML General/alist.ML \ |
28 General/alist.ML General/balanced_tree.ML General/basics.ML \ |
29 General/balanced_tree.ML General/basics.ML General/binding.ML \ |
29 General/buffer.ML General/file.ML General/graph.ML General/heap.ML \ |
30 General/buffer.ML \ |
30 General/integer.ML General/lazy.ML General/markup.ML \ |
31 General/file.ML General/graph.ML General/heap.ML General/integer.ML \ |
31 General/name_space.ML General/ord_list.ML General/output.ML \ |
32 General/lazy.ML General/markup.ML General/name_space.ML \ |
32 General/path.ML General/position.ML General/pretty.ML \ |
33 General/ord_list.ML General/output.ML General/path.ML \ |
33 General/print_mode.ML General/properties.ML General/queue.ML \ |
34 General/position.ML General/pretty.ML General/print_mode.ML \ |
34 General/scan.ML General/secure.ML General/seq.ML General/source.ML \ |
35 General/properties.ML General/queue.ML General/scan.ML \ |
35 General/stack.ML General/symbol.ML General/symbol_pos.ML \ |
36 General/secure.ML General/seq.ML General/source.ML General/stack.ML \ |
36 General/table.ML General/url.ML General/xml.ML General/yxml.ML \ |
37 General/symbol.ML General/symbol_pos.ML General/table.ML \ |
37 Isar/ROOT.ML Isar/antiquote.ML Isar/args.ML Isar/attrib.ML \ |
38 General/url.ML General/xml.ML General/yxml.ML Isar/ROOT.ML \ |
38 Isar/auto_bind.ML Isar/calculation.ML Isar/class.ML Isar/code.ML \ |
39 Isar/antiquote.ML Isar/args.ML Isar/attrib.ML Isar/auto_bind.ML \ |
39 Isar/code_unit.ML Isar/constdefs.ML Isar/context_rules.ML \ |
40 Isar/calculation.ML Isar/class.ML Isar/code.ML Isar/code_unit.ML \ |
40 Isar/element.ML Isar/expression.ML Isar/find_theorems.ML \ |
41 Isar/constdefs.ML Isar/context_rules.ML Isar/element.ML \ |
41 Isar/instance.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_syn.ML \ |
42 Isar/expression.ML \ |
42 Isar/local_defs.ML Isar/local_syntax.ML Isar/local_theory.ML \ |
43 Isar/find_theorems.ML Isar/instance.ML Isar/isar.ML Isar/isar_cmd.ML \ |
43 Isar/locale.ML Isar/method.ML Isar/net_rules.ML Isar/new_locale.ML \ |
44 Isar/isar_syn.ML Isar/local_defs.ML Isar/local_syntax.ML \ |
|
45 Isar/local_theory.ML Isar/locale.ML Isar/method.ML Isar/net_rules.ML \ |
|
46 Isar/new_locale.ML \ |
|
47 Isar/object_logic.ML Isar/obtain.ML Isar/outer_keyword.ML \ |
44 Isar/object_logic.ML Isar/obtain.ML Isar/outer_keyword.ML \ |
48 Isar/outer_lex.ML Isar/outer_parse.ML Isar/outer_syntax.ML \ |
45 Isar/outer_lex.ML Isar/outer_parse.ML Isar/outer_syntax.ML \ |
49 Isar/overloading.ML Isar/proof.ML Isar/proof_context.ML \ |
46 Isar/overloading.ML Isar/proof.ML Isar/proof_context.ML \ |
50 Isar/proof_display.ML Isar/proof_node.ML Isar/rule_cases.ML \ |
47 Isar/proof_display.ML Isar/proof_node.ML Isar/rule_cases.ML \ |
51 Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML \ |
48 Isar/rule_insts.ML Isar/session.ML Isar/skip_proof.ML \ |
75 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
72 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
76 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
73 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
77 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
74 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
78 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |
75 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |
79 Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \ |
76 Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \ |
80 Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML \ |
77 Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML \ |
81 Tools/isabelle_process.ML Tools/named_thms.ML \ |
78 Tools/isabelle_process.ML Tools/named_thms.ML Tools/xml_syntax.ML \ |
82 Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML \ |
79 assumption.ML axclass.ML codegen.ML config.ML conjunction.ML \ |
83 conjunction.ML consts.ML context.ML context_position.ML conv.ML \ |
80 consts.ML context.ML context_position.ML conv.ML defs.ML display.ML \ |
84 defs.ML display.ML drule.ML envir.ML facts.ML goal.ML \ |
81 drule.ML envir.ML facts.ML goal.ML interpretation.ML library.ML \ |
85 interpretation.ML library.ML logic.ML meta_simplifier.ML more_thm.ML \ |
82 logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML \ |
86 morphism.ML name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML \ |
83 old_goals.ML pattern.ML primitive_defs.ML proofterm.ML pure_setup.ML \ |
87 proofterm.ML pure_setup.ML pure_thy.ML search.ML sign.ML \ |
84 pure_thy.ML search.ML sign.ML simplifier.ML sorts.ML subgoal.ML \ |
88 simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML \ |
85 tactic.ML tctical.ML term.ML term_subst.ML theory.ML thm.ML type.ML \ |
89 term_subst.ML theory.ML thm.ML type.ML type_infer.ML unify.ML \ |
86 type_infer.ML unify.ML variable.ML ../Tools/quickcheck.ML |
90 variable.ML ../Tools/value.ML ../Tools/quickcheck.ML |
|
91 @./mk |
87 @./mk |
92 |
88 |
93 |
89 |
94 ## special targets |
90 ## special targets |
95 |
91 |
123 $(OUT)/RAW $(LOG)/RAW.gz |
119 $(OUT)/RAW $(LOG)/RAW.gz |
124 |
120 |
125 |
121 |
126 ## Scala material |
122 ## Scala material |
127 |
123 |
128 SCALA_FILES = General/markup.scala General/position.scala \ |
124 SCALA_FILES = General/event_bus.scala General/markup.scala \ |
129 General/symbol.scala General/xml.scala General/yxml.scala \ |
125 General/position.scala General/swing.scala General/symbol.scala \ |
130 Isar/isar.scala Thy/thy_header.scala Tools/isabelle_process.scala \ |
126 General/xml.scala General/yxml.scala Isar/isar.scala \ |
|
127 Thy/thy_header.scala Tools/isabelle_process.scala \ |
131 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
128 Tools/isabelle_syntax.scala Tools/isabelle_system.scala |
132 |
129 |
133 |
130 |
134 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
131 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar |
135 |
132 |