| Thu, 28 Aug 2014 15:47:26 +0200 | wenzelm | more liberal embedded "text", which includes cartouches; | changeset | files |
| Thu, 28 Aug 2014 13:25:12 +0200 | wenzelm | intern xthm only once; | changeset | files |
| Thu, 28 Aug 2014 07:34:23 +0200 | blanchet | tuned terminology | changeset | files |
| Thu, 28 Aug 2014 07:30:16 +0200 | blanchet | moved new para to right section of NEWS | changeset | files |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | minor NEWS fix | changeset | files |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | keep skolems as is -- otherwise this breaks proof steps that refer to variables that were 'obtain'ed in the outer Isar proof | changeset | files |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | added 'OLD_' prefix in front of old solvers | changeset | files |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | updated NEWS | changeset | files |