equal
deleted
inserted
replaced
98 Makarius |
98 Makarius |
99 """ + Date.Format.date(Date.now()) + "\n") |
99 """ + Date.Format.date(Date.now()) + "\n") |
100 } |
100 } |
101 } |
101 } |
102 |
102 |
|
103 |
103 /* Isabelle tool wrapper */ |
104 /* Isabelle tool wrapper */ |
104 |
105 |
105 val isabelle_tool = |
106 val isabelle_tool = |
106 Isabelle_Tool("component_e", "build prover component from source distribution", Scala_Project.here, |
107 Isabelle_Tool("component_e", "build prover component from source distribution", Scala_Project.here, |
107 { args => |
108 { args => |