| changeset 53498 | 05313b45a5ae |
| parent 47316 | 15428dd82b54 |
| child 62015 | db9c2af6ce72 |
| 53497:07bb77881b8d | 53498:05313b45a5ae |
|---|---|
1 #!/bin/bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # make_tptp_parser - Runs ML-Yacc to generate TPTP parser and makes it |
3 # make_tptp_parser - Runs ML-Yacc to generate TPTP parser and makes it |
4 # Isabelle-friendly. |
4 # Isabelle-friendly. |
5 # |
5 # |
6 # This code is based on that used in src/Tools/Metis to adapt Metis for |
6 # This code is based on that used in src/Tools/Metis to adapt Metis for |