| changeset 57414 | fe1be2844fda |
| parent 34275 | 8f105e6a2b88 |
| 57413:c14af83bd8db | 57414:fe1be2844fda |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: Proof General / Emacs interface wrapper |
5 # DESCRIPTION: Proof General / Emacs interface wrapper -- Proof General legacy |
6 |
6 |
7 |
7 |
8 ## diagnostics |
8 ## diagnostics |
9 |
9 |
10 function fail() |
10 function fail() |