diff options
| author | Healfdene Goguen | 1997-10-22 16:43:54 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-10-22 16:43:54 +0000 |
| commit | 05d954c155201ea7b264fc307998f46016168296 (patch) | |
| tree | 4f9eb4f19958e7b0c4dd608dbc2fcb9ac1e2b6a1 /INSTALL | |
| parent | 97bcd7f2b1324cbde62314aab68189e93b3816a8 (diff) | |
Updated proof-segment-up-to to take ""'s into account
Hence, << Cd "../x". >> works in Coq, and
<< echo "hello; world"; >> should work in LEGO
But maybe we don't want "Cd"'s at all...
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions