| Thu, 17 May 2012 16:04:39 +0200 | wenzelm | Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a | changeset | files |
| 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 |