diff options
author | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-05 22:33:03 +0200 |
---|---|---|
committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-05 22:33:03 +0200 |
commit | 63d188f6c94335a952c6c57c8a49b249423440a6 (patch) | |
tree | edf3644c65af8108b42bea72f07810d118b20612 /mulkutils.asd | |
parent | 3c73865c134159de8d2919007b59941852998ed4 (diff) |
Improve documentation for MATCHING-DEFUN, add the macros MATCHING-LABELS and MATCHING-FLET.HEADmaster
darcs-hash:300c4c44287e6f624f607473bcaa807c83bc7b4c
Diffstat (limited to 'mulkutils.asd')
-rw-r--r-- | mulkutils.asd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mulkutils.asd b/mulkutils.asd index 4eda9b2..e957009 100644 --- a/mulkutils.asd +++ b/mulkutils.asd @@ -1,6 +1,6 @@ (defsystem "mulkutils" :description "Random utilities by Matthias Benkard." - :version "0.3pre1" + :version "0.3" :author "Matthias Benkard <matthias@benkard.de>" :licence "GNU General Public License, version 2 or higher" :depends-on (:arnesi :unification) |