equal
deleted
inserted
replaced
111 |
111 |
112 /* README */ |
112 /* README */ |
113 |
113 |
114 File.write(component_dir.README, |
114 File.write(component_dir.README, |
115 "This Isabelle component provides Vampire " + version + """using the |
115 "This Isabelle component provides Vampire " + version + """using the |
116 original sources from """.stripMargin + download_url + """ |
116 original sources from """ + download_url + """ |
117 |
117 |
118 The executables have been built via "cmake . && make" |
118 The executables have been built via "cmake . && make" |
119 |
119 |
120 |
120 |
121 Makarius |
121 Makarius |