| Thu, 17 May 2012 15:58:57 +0200 | wenzelm | some message; | changeset | files |
| Thu, 17 May 2012 15:23:00 +0200 | wenzelm | tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph; | changeset | files |
| Fri, 11 May 2012 13:41:30 +0200 | berghofe | Fixed disambiguation of names (cf. 5759ecd5c905) | changeset | files |
| Thu, 10 May 2012 22:51:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 10 May 2012 22:49:12 +0200 | wenzelm | file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation; | changeset | files |
| Thu, 10 May 2012 21:35:04 +0200 | wenzelm | prefer absolute paths, to allow launching from a different context (e.g. via file associations); | changeset | files |