| Fri, 02 Sep 2011 21:06:05 +0200 | wenzelm | less agressive parsing of commands (priority ~1); | changeset | files |
| Fri, 02 Sep 2011 20:35:32 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 02 Sep 2011 20:29:39 +0200 | wenzelm | more direct Token.range_pos and Outer_Syntax.read_command, bypassing Thy_Syntax.span; | changeset | files |
| Fri, 02 Sep 2011 19:25:44 +0200 | nipkow | merged | changeset | files |
| Fri, 02 Sep 2011 19:25:18 +0200 | nipkow | Added Abstract Interpretation theories | changeset | files |
| Fri, 02 Sep 2011 18:17:45 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 02 Sep 2011 17:58:32 +0200 | wenzelm | proper config option linarith_trace; | changeset | files |