diff options
| author | Erik Martin-Dorel | 2017-04-25 10:52:21 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2017-04-25 10:59:47 +0200 |
| commit | 1a18e33658645a81225c56b5d4f4a4b89434d301 (patch) | |
| tree | 877c83a6c6417f49e9159d9e31d9419a12f3b67c /pgshell/example.pgsh | |
| parent | 758e679ebcfce22099ba4b360b7c0ed7bee2a736 (diff) | |
Remove bin/proofgeneral and Update Makefiles accordingly.
Closes ProofGeneral/PG#177
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions