| changeset 15779 | aed221aff642 |
| parent 15717 | 541e50adfc73 |
| child 15847 | c05c7670f166 |
| 15778:98af3693f6b3 | 15779:aed221aff642 |
|---|---|
1 |
|
1 #!/usr/bin/env bash |
2 #!/usr/bin/env bash |
2 # |
3 # |
3 # $Id$ |
4 # $Id$ |
4 # Author: Markus Wenzel, TU Muenchen |
5 # Author: Markus Wenzel, TU Muenchen |
5 # |
6 # |
283 |
284 |
284 * $PREFIX/ROOT.ML needs to contain ML code to load all theories |
285 * $PREFIX/ROOT.ML needs to contain ML code to load all theories |
285 |
286 |
286 EOF |
287 EOF |
287 fi |
288 fi |
288 |