| Tue, 30 Sep 2008 03:30:40 -0400 |
Christian Urban |
tuned and updated antquote_setup.ML
|
changeset |
files
|
| Wed, 17 Sep 2008 19:20:37 -0400 |
Christian Urban |
many changes in the FirstSteps section
|
changeset |
files
|
| Wed, 17 Sep 2008 19:20:06 -0400 |
Christian Urban |
added new version
|
changeset |
files
|
| Tue, 16 Sep 2008 00:46:29 +0200 |
Christian Urban |
forgot to add (see previous message)
|
changeset |
files
|
| Tue, 16 Sep 2008 00:45:44 +0200 |
Christian Urban |
added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)
|
changeset |
files
|
| Tue, 16 Sep 2008 00:43:45 +0200 |
Christian Urban |
some tuning
|
changeset |
files
|
| Tue, 09 Sep 2008 14:57:23 +0200 |
Christian Urban |
minor modifiations to the Intro and FirstSteps chapters
|
changeset |
files
|
| Sat, 06 Sep 2008 04:32:18 +0200 |
Christian Urban |
added verbatim the notes by Jeremy
|
changeset |
files
|
| Fri, 05 Sep 2008 09:49:51 +0200 |
Christian Urban |
not needed anymore -> moved to other places
|
changeset |
files
|
| Fri, 05 Sep 2008 09:47:51 +0200 |
Christian Urban |
split the document into smaller pieces;
|
changeset |
files
|
| Wed, 03 Sep 2008 18:29:48 +0200 |
Christian Urban |
added necessary files
|
changeset |
files
|
| Wed, 03 Sep 2008 18:12:36 +0200 |
Christian Urban |
initial commit of Alexander's files
|
changeset |
files
|