| Wed, 09 Jan 2013 20:29:50 +0100 |
smolkas |
proper exception handling; reraise interrupt exceptions
|
changeset |
files
|
| Wed, 09 Jan 2013 15:48:34 +0100 |
wenzelm |
more CHECKLIST;
|
changeset |
files
|
| Wed, 09 Jan 2013 14:59:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 09 Jan 2013 14:01:50 +0100 |
wenzelm |
build browser more robustly before startup;
|
changeset |
files
|
| Wed, 09 Jan 2013 13:38:57 +0100 |
wenzelm |
standardized treatment of timing properties;
|
changeset |
files
|
| Wed, 09 Jan 2013 14:36:24 +0100 |
smolkas |
consider merging obtain steps
|
changeset |
files
|
| Wed, 09 Jan 2013 14:35:46 +0100 |
smolkas |
preplay obtain steps
|
changeset |
files
|
| Wed, 09 Jan 2013 12:22:09 +0100 |
wenzelm |
tune spelling;
|
changeset |
files
|
| Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
changeset |
files
|
| Tue, 08 Jan 2013 19:02:12 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 08 Jan 2013 18:24:52 +0100 |
wenzelm |
upper bound for font size;
|
changeset |
files
|
| Tue, 08 Jan 2013 17:10:06 +0100 |
wenzelm |
more tolerant set/pred rule declaration to improve "tool compliance", notably for "context assumes";
|
changeset |
files
|
| Tue, 08 Jan 2013 16:25:22 +0100 |
wenzelm |
more aggressive update -- potentially relevant for previously is_outdated output;
|
changeset |
files
|
| Tue, 08 Jan 2013 16:23:07 +0100 |
wenzelm |
allow negative argument in "consumes" source format;
|
changeset |
files
|
| Tue, 08 Jan 2013 16:01:07 +0100 |
wenzelm |
prefer negative "consumes", relative to the total number of prems, which is stable under more morphisms, notably those from nested context with assumes (cf. existing treatment of 'obtains');
|
changeset |
files
|
| Tue, 08 Jan 2013 13:24:12 +0100 |
wenzelm |
more direct invalidateScreenLineRange after changed assignment;
|
changeset |
files
|
| Tue, 08 Jan 2013 12:50:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 08 Jan 2013 12:39:39 +0100 |
wenzelm |
tuned -- prefer high-level Table.merge with its slightly more conservative update;
|
changeset |
files
|
| Tue, 08 Jan 2013 13:16:39 +0100 |
blanchet |
tuned output
|
changeset |
files
|
| Tue, 08 Jan 2013 10:34:19 +0100 |
nipkow |
tuned names
|
changeset |
files
|
| Mon, 07 Jan 2013 23:20:36 +0100 |
wenzelm |
merged;
|
changeset |
files
|
| Mon, 07 Jan 2013 22:21:56 +0100 |
wenzelm |
more precise and complete transitive closure of proven_classrel, using existing Sorts.classes_of which is already closed;
|
changeset |
files
|
| Mon, 07 Jan 2013 21:49:59 +0100 |
wenzelm |
no fork from draft thy -- avoid potential for crash via classrel_proof/arity_proof;
|
changeset |
files
|
| Mon, 07 Jan 2013 19:47:46 +0100 |
wenzelm |
merged
|
changeset |
files
|