| Mon, 02 May 2011 21:46:54 +0200 |
wenzelm |
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:28:45 +0200 |
wenzelm |
uniform content markup;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:28:09 +0200 |
wenzelm |
eliminated obsolete rail macros;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:19:46 +0200 |
wenzelm |
default rail fonts via isabellestyle;
|
file |
diff |
annotate
|
| Tue, 28 Jul 2009 00:31:30 +0200 |
wenzelm |
added rail antiquotation environment, which coexists with old-style content markup;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2002 15:53:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2000 10:29:50 +0200 |
wenzelm |
fixed lbrace, rbrace;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2000 22:39:31 +0200 |
wenzelm |
added lbrace, rbrace, atsign;
|
file |
diff |
annotate
|
| Sat, 03 Jun 2000 23:57:04 +0200 |
wenzelm |
removed brace aliases;
|
file |
diff |
annotate
|
| Tue, 28 Mar 2000 12:28:24 +0200 |
wenzelm |
fixed railqtoken;
|
file |
diff |
annotate
|
| Mon, 27 Mar 2000 18:09:24 +0200 |
wenzelm |
tail token vs. terminal;
|
file |
diff |
annotate
|
| Tue, 03 Aug 1999 19:02:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 30 Jul 1999 15:56:58 +0200 |
wenzelm |
hacking the rail package;
|
file |
diff |
annotate
|