changeset 3007 | e5efa177ee0c |
parent 2936 | bd33e7aae062 |
child 3276 | f8bf5e5c1641 |
3006:8a1eb4531fbb | 3007:e5efa177ee0c |
---|---|
1 #!/bin/bash -norc |
1 #!/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # Isabelle tool starter -- provides settings environment, |
5 # Isabelle tool starter -- provides settings environment, |
6 # and keeps your PATH name space clean. |
6 # and keeps your PATH name space clean. |