| changeset 9789 | 7e5e6c47c0b5 |
| parent 5051 | 3b45aee5c7ec |
| child 14981 | e73f8140af78 |
| 9788:df671fa2562a | 9789:7e5e6c47c0b5 |
|---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
3 # |
5 # |
4 # fixgoal.pl - replace goal(w) commands by implicit versions Goal(w) |
6 # fixgoal.pl - replace goal(w) commands by implicit versions Goal(w) |
5 # |
7 # |
6 |
8 |
7 sub fixgoal { |
9 sub fixgoal { |