Sun, 26 Apr 2009 23:45:22 +0200 |
Christian Urban |
added note about @{type_names ...}
|
changeset |
files
|
Sat, 25 Apr 2009 17:46:47 +0200 |
Christian Urban |
polished
|
changeset |
files
|
Sat, 25 Apr 2009 14:28:58 +0200 |
Christian Urban |
replaced explode by Symbol.explode
|
changeset |
files
|
Wed, 15 Apr 2009 13:11:08 +0000 |
Christian Urban |
replaced "warning" with "writeln"
|
changeset |
files
|
Mon, 13 Apr 2009 08:30:48 +0000 |
Christian Urban |
added something about TRY and TRYALL
|
changeset |
files
|
Sat, 11 Apr 2009 19:23:58 +0000 |
Christian Urban |
very slight polishing to the simple inductive chapter
|
changeset |
files
|
Thu, 09 Apr 2009 18:11:35 +0000 |
Christian Urban |
some polishing
|
changeset |
files
|
Wed, 08 Apr 2009 22:47:39 +0100 |
Christian Urban |
explained uses and use commands
|
changeset |
files
|
Wed, 08 Apr 2009 13:42:18 +0100 |
Christian Urban |
polished
|
changeset |
files
|
Wed, 08 Apr 2009 10:40:16 +0100 |
Christian Urban |
added a section about naming conventions
|
changeset |
files
|
Wed, 08 Apr 2009 09:55:39 +0200 |
griff |
minor changes
|
changeset |
files
|
Wed, 08 Apr 2009 09:22:07 +0200 |
griff |
ran spell-checker
|
changeset |
files
|
Tue, 07 Apr 2009 23:59:39 +0100 |
Christian Urban |
added material about OuterKeyword.keyword and OuterParse.reserved
|
changeset |
files
|
Tue, 07 Apr 2009 17:04:39 +0100 |
Christian Urban |
permutation example uses now recent infrastructure
|
changeset |
files
|
Fri, 03 Apr 2009 07:55:07 +0100 |
Christian Urban |
various additions
|
changeset |
files
|