| Mon, 18 Oct 2010 15:35:20 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 18 Oct 2010 12:33:13 +0100 |
wenzelm |
more on "Basic data types";
|
changeset |
files
|
| Sun, 17 Oct 2010 20:54:30 +0100 |
wenzelm |
more on "Integers";
|
changeset |
files
|
| Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
changeset |
files
|
| Sun, 17 Oct 2010 20:00:23 +0100 |
wenzelm |
robustified "warn" environment if \parindent is zero (e.g. within itemize, description etc.);
|
changeset |
files
|
| Sat, 16 Oct 2010 21:24:20 +0100 |
wenzelm |
more on "Basic ML data types";
|
changeset |
files
|
| Sat, 16 Oct 2010 21:23:34 +0100 |
wenzelm |
more robust treatment of symbolic indentifiers (which may contain colons);
|
changeset |
files
|
| Sat, 16 Oct 2010 20:27:35 +0100 |
wenzelm |
more examples;
|
changeset |
files
|
| Sat, 16 Oct 2010 20:02:11 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 16 Oct 2010 11:34:46 +0100 |
wenzelm |
more on "Exceptions";
|
changeset |
files
|
| Fri, 15 Oct 2010 22:26:25 +0100 |
wenzelm |
more on "Exceptions";
|
changeset |
files
|
| Fri, 15 Oct 2010 20:36:52 +0100 |
wenzelm |
more examples;
|
changeset |
files
|