| Sat, 11 Aug 2012 19:34:36 +0200 |
wenzelm |
vacuous execution after first malformed command;
|
changeset |
files
|
| Sat, 11 Aug 2012 18:05:41 +0200 |
wenzelm |
clarified Command.range vs. Command.proper_range according to Scala version, which is potentially relevant for command status markup;
|
changeset |
files
|
| Sat, 11 Aug 2012 17:43:00 +0200 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Sat, 11 Aug 2012 17:40:33 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 11 Aug 2012 17:24:21 +0200 |
wenzelm |
clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
|
changeset |
files
|
| Sat, 11 Aug 2012 17:23:09 +0200 |
wenzelm |
reports with body text, not just markup;
|
changeset |
files
|
| Sat, 11 Aug 2012 15:54:18 +0200 |
blanchet |
fixed "double rev" bug that arose in situations where a % comment arose on the last line of a file without \n at the end
|
changeset |
files
|
| Sat, 11 Aug 2012 11:31:05 +0200 |
nipkow |
special code with lists no longer necessary, use sets
|
changeset |
files
|
| Fri, 10 Aug 2012 22:25:45 +0200 |
wenzelm |
proper error prefixes;
|
changeset |
files
|
| Fri, 10 Aug 2012 21:53:20 +0200 |
wenzelm |
more precise recover_quoted, recover_verbatim, recover_comment (cf. ML version) -- NB: context parsers expect explicit termination;
|
changeset |
files
|
| Fri, 10 Aug 2012 21:22:40 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 10 Aug 2012 20:53:16 +0200 |
wenzelm |
clarified Linear_Set.next/prev: check definedness;
|
changeset |
files
|
| Fri, 10 Aug 2012 18:03:46 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 10 Aug 2012 17:17:05 +0200 |
nipkow |
Improved complete lattice formalisation - no more index set.
|
changeset |
files
|
| Fri, 10 Aug 2012 16:29:40 +0200 |
wenzelm |
merged
|
changeset |
files
|