| Thu, 01 Dec 2011 13:34:12 +0100 |
blanchet |
minor example tweak
|
changeset |
files
|
| Thu, 01 Dec 2011 12:25:27 +0100 |
wenzelm |
renamed inner syntax categories "num" to "num_token" and "xnum" to "xnum_token";
|
changeset |
files
|
| Thu, 01 Dec 2011 11:54:39 +0100 |
wenzelm |
updated markup conforming to ML side;
|
changeset |
files
|
| Wed, 30 Nov 2011 23:30:08 +0100 |
wenzelm |
discontinued obsolete datatype "alt_names";
|
changeset |
files
|
| Wed, 30 Nov 2011 21:14:01 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Wed, 30 Nov 2011 19:18:17 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 30 Nov 2011 18:50:46 +0100 |
kuncar |
removed outdated comment moved back and updated (at the direct request of Christian Urban)
|
changeset |
files
|
| Wed, 30 Nov 2011 15:07:10 +0100 |
bulwahn |
more stable introduction of the internally used unknown term
|
changeset |
files
|
| Wed, 30 Nov 2011 18:07:14 +0100 |
wenzelm |
prefer typedef without alternative name;
|
changeset |
files
|
| Wed, 30 Nov 2011 17:30:01 +0100 |
wenzelm |
prefer cpodef without extra definition;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:05:15 +0100 |
wenzelm |
tuned layout;
|
changeset |
files
|
| Wed, 30 Nov 2011 16:03:18 +0100 |
wenzelm |
tuned header;
|
changeset |
files
|
| Wed, 30 Nov 2011 12:09:29 +0100 |
wenzelm |
updated version information;
|
changeset |
files
|