| Mon, 06 Oct 2008 10:11:08 -0400 |
Christian Urban |
some slight polishing
|
changeset |
files
|
| Sun, 05 Oct 2008 14:29:13 -0400 |
Christian Urban |
some tuning in the FirstSteps section
|
changeset |
files
|
| Thu, 02 Oct 2008 05:30:46 -0400 |
Christian Urban |
tuned IsaMakefile
|
changeset |
files
|
| Thu, 02 Oct 2008 05:28:39 -0400 |
Christian Urban |
fixed creation of bibliography
|
changeset |
files
|
| Thu, 02 Oct 2008 05:18:49 -0400 |
Christian Urban |
polished
|
changeset |
files
|
| Thu, 02 Oct 2008 04:48:41 -0400 |
Christian Urban |
added a solution section and some other minor additions
|
changeset |
files
|
| Wed, 01 Oct 2008 20:42:55 -0400 |
Christian Urban |
added a paragraph about "uses" and started a paragraph about tracing
|
changeset |
files
|
| Wed, 01 Oct 2008 20:09:45 -0400 |
Christian Urban |
polished and added a subdirectory for the recipes
|
changeset |
files
|
| Wed, 01 Oct 2008 15:40:20 -0400 |
Christian Urban |
various changes by Alex and Christian
|
changeset |
files
|
| 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
|