diff options
author | michele.simionato <devnull@localhost> | 2007-12-08 09:57:41 +0000 |
---|---|---|
committer | michele.simionato <devnull@localhost> | 2007-12-08 09:57:41 +0000 |
commit | c16096239a55e74292a32fe16c834797f6854edd (patch) | |
tree | 9f06d660d4a144a3812e44eb4486c85d7f1ef084 /ml | |
parent | 3f58be1222e48ba71c030e3cd8230f590d4a01f3 (diff) | |
download | micheles-c16096239a55e74292a32fe16c834797f6854edd.tar.gz |
Changed from numbered articles to named articles
Diffstat (limited to 'ml')
-rw-r--r-- | ml/intro.txt (renamed from ml/article1.txt) | 0 | ||||
-rw-r--r-- | ml/loops.txt (renamed from ml/article2.txt) | 0 | ||||
-rw-r--r-- | ml/modules.txt (renamed from ml/article3.txt) | 0 | ||||
-rw-r--r-- | ml/objects.txt (renamed from ml/article5.txt) | 0 | ||||
-rw-r--r-- | ml/text.txt | 5 | ||||
-rw-r--r-- | ml/types.txt (renamed from ml/article4.txt) | 0 |
6 files changed, 5 insertions, 0 deletions
diff --git a/ml/article1.txt b/ml/intro.txt index 0bcdc61..0bcdc61 100644 --- a/ml/article1.txt +++ b/ml/intro.txt diff --git a/ml/article2.txt b/ml/loops.txt index a058551..a058551 100644 --- a/ml/article2.txt +++ b/ml/loops.txt diff --git a/ml/article3.txt b/ml/modules.txt index 43a5664..43a5664 100644 --- a/ml/article3.txt +++ b/ml/modules.txt diff --git a/ml/article5.txt b/ml/objects.txt index 9458cea..9458cea 100644 --- a/ml/article5.txt +++ b/ml/objects.txt diff --git a/ml/text.txt b/ml/text.txt new file mode 100644 index 0000000..c53cc55 --- /dev/null +++ b/ml/text.txt @@ -0,0 +1,5 @@ +Text processing in SML +-------------------------------------------------------- + +.. include:: format.aml + :literal: diff --git a/ml/article4.txt b/ml/types.txt index 98c65fc..98c65fc 100644 --- a/ml/article4.txt +++ b/ml/types.txt |