| changeset 14981 | e73f8140af78 |
| parent 11391 | e8638d07fdee |
| child 15779 | aed221aff642 |
| 14980:267cc670317a | 14981:e73f8140af78 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # Author: Markus Wenzel, TU Muenchen |
4 # Author: Markus Wenzel, TU Muenchen |
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
6 # |
5 # |
7 # mk - build Pure Isabelle. |
6 # mk - build Pure Isabelle. |
8 # |
7 # |
9 # Requires proper Isabelle settings environment (cf. IsaMakefile). |
8 # Requires proper Isabelle settings environment (cf. IsaMakefile). |
10 |
9 |