diff options
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! |