diff options
| author | David Aspinall | 2000-03-22 14:11:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 14:11:58 +0000 |
| commit | a06ac4e064bedee9d3e3398e36d66b769634da63 (patch) | |
| tree | 872560b80827f1065793308a8096936fa19e8059 /etc/testing-log.txt | |
| parent | da0b1b3245bf171a56f3b2d77d5e2fe448544908 (diff) | |
Notes about strange filenames
Diffstat (limited to 'etc/testing-log.txt')
| -rw-r--r-- | etc/testing-log.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/etc/testing-log.txt b/etc/testing-log.txt index 0e86e183..4447e73e 100644 --- a/etc/testing-log.txt +++ b/etc/testing-log.txt @@ -1,3 +1,14 @@ +Wed Mar 22 13:45:34 GMT 2000 da + + Tested file name quoting problem with Coq, Isabelle, LEGO. + + \ quoting triggers bug in Isabelle (complaint about pathname) + " quoting not allowed in LEGO, \ quoting not needed. + Coq works well with either. + + +-------- + Wed Nov 17 13:43:11 GMT 1999 Tested compiled version. Seems to work well for XEmacs! |