| Thu, 03 Jan 2008 00:15:39 +0100 | wenzelm | added setmp_thread_data; | changeset | files |
| Wed, 02 Jan 2008 23:00:57 +0100 | wenzelm | type transition: added properties field; | changeset | files |
| Wed, 02 Jan 2008 23:00:56 +0100 | wenzelm | added properties; | changeset | files |
| Wed, 02 Jan 2008 23:00:54 +0100 | wenzelm | Isabelle.command: IsarCmd.nested_command (with properties); | changeset | files |
| Wed, 02 Jan 2008 23:00:52 +0100 | wenzelm | added nested_command (with explicit position argument via properties); | changeset | files |
| Wed, 02 Jan 2008 23:00:51 +0100 | wenzelm | of_properties: return filtered result; | changeset | files |
| Wed, 02 Jan 2008 23:00:49 +0100 | wenzelm | added method encodeProperties; | changeset | files |
| Wed, 02 Jan 2008 21:03:49 +0100 | wenzelm | setting -H 2000 and no documents for higher performance; | changeset | files |