| changeset 34282 | 549969a7f582 |
| parent 31317 | 1f5740424c69 |
| child 43948 | 8f5add916a99 |
| 34281:eedea6f0b37e | 34282:549969a7f582 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # |
4 # |
5 # mk - build Pure Isabelle. |
5 # mk - build Isabelle/Pure. |
6 # |
6 # |
7 # Requires proper Isabelle settings environment (cf. IsaMakefile). |
7 # Requires proper Isabelle settings environment. |
8 |
8 |
9 |
9 |
10 ## diagnostics |
10 ## diagnostics |
11 |
11 |
12 function usage() |
12 function usage() |