| Fri, 14 Jan 2011 14:21:26 +0100 | hoelzl | tuned theorem order | changeset | files |
| Fri, 14 Jan 2011 13:59:06 +0100 | haftmann | configuration file for mira | changeset | files |
| Thu, 13 Jan 2011 23:50:16 +0100 | wenzelm | eliminated global prems; | changeset | files |
| Thu, 13 Jan 2011 21:50:13 +0100 | wenzelm | more precise pretty printing -- to accomodate Scala message layout; | changeset | files |
| Thu, 13 Jan 2011 20:54:07 +0100 | wenzelm | less verbosity -- avoid slightly odd tracing information on warning channel; | changeset | files |
| Thu, 13 Jan 2011 18:00:13 +0100 | wenzelm | updated Isabelle/jEdit limitations and workarounds; | changeset | files |
| Thu, 13 Jan 2011 17:39:35 +0100 | wenzelm | full theory path enables loading parents via master directory and keeps files strictly separate; | changeset | files |