| Wed, 18 Apr 2012 17:33:11 +0100 | sultana | fixed type interpretation; | changeset | files |
| Wed, 18 Apr 2012 17:33:11 +0100 | sultana | more tptp testing support functions; | changeset | files |
| Wed, 18 Apr 2012 18:24:16 +0200 | nipkow | tuned text, improved dependencies | changeset | files |
| Wed, 18 Apr 2012 17:04:03 +0200 | kuncar | Lifting: generate more thms & note them & tuned | changeset | files |
| Wed, 18 Apr 2012 15:48:32 +0200 | huffman | move constant 'Respects' into Lifting.thy; | changeset | files |
| Wed, 18 Apr 2012 20:42:55 +0200 | wenzelm | more friendly sendback rendering, using green and "frisches Steingrau"; | changeset | files |
| Wed, 18 Apr 2012 20:22:44 +0200 | wenzelm | more robust Sendback handling: JVM/jEdit paranoia for case matching, treat Pretty body not just XML.Text, replace proper_range only (without trailing whitespace); | changeset | files |
| Wed, 18 Apr 2012 18:31:48 +0200 | wenzelm | approximative file position for Pure entities; | changeset | files |