| changeset 2737 | a43320c05e84 |
| parent 2735 | 29434f9b95dd |
| child 2787 | 33931e1023e3 |
| 2736:476adc742599 | 2737:a43320c05e84 |
|---|---|
1 #!/bin/bash -x |
1 #!/bin/bash -norc |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # Isabelle tool starter -- provides settings environment, |
5 # Isabelle tool starter -- provides settings environment, |
6 # also keeps your PATH name space clean. |
6 # also keeps your PATH name space clean. |