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 |