| Fri, 02 Sep 2011 19:29:36 +0200 | haftmann | avoid "Code" as structure name | changeset | files |
| Fri, 02 Sep 2011 22:48:56 +0200 | wenzelm | more robust chunk painting wrt. hard tabs, when chunk.str == null; | changeset | files |
| Fri, 02 Sep 2011 21:48:27 +0200 | wenzelm | raw message function "assign_execs" avoids full overhead of decoding and caching message body; | changeset | files |
| 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 |