summaryrefslogtreecommitdiffstats
path: root/development/polyml/slack-desc
diff options
context:
space:
mode:
Diffstat (limited to 'development/polyml/slack-desc')
-rw-r--r--development/polyml/slack-desc28
1 files changed, 14 insertions, 14 deletions
diff --git a/development/polyml/slack-desc b/development/polyml/slack-desc
index 982bc57790..719dd85876 100644
--- a/development/polyml/slack-desc
+++ b/development/polyml/slack-desc
@@ -1,19 +1,19 @@
# HOW TO EDIT THIS FILE:
-# The "handy ruler" below makes it easier to edit a package description. Line
-# up the first '|' above the ':' following the base package name, and the '|'
-# on the right side marks the last column you can put a character in. You must
-# make exactly 11 lines for the formatting to be correct. It's also
-# customary to leave one space after the ':'.
+# The "handy ruler" below makes it easier to edit a package description.
+# Line up the first '|' above the ':' following the base package name, and
+# the '|' on the right side marks the last column you can put a character in.
+# You must make exactly 11 lines for the formatting to be correct. It's also
+# customary to leave one space after the ':' except on otherwise blank lines.
|-----handy-ruler------------------------------------------------------|
polyml: polyml (full implementation of Standard ML)
-polyml:
-polyml: Poly/ML is a full implementation of Standard ML available as
-polyml: open-source.
-polyml:
+polyml:
+polyml: Poly/ML is a full implementation of Standard ML available as
+polyml: open-source.
+polyml:
polyml: Website: http://www.polyml.org/
-polyml:
-polyml:
-polyml:
-polyml:
-polyml:
+polyml:
+polyml:
+polyml:
+polyml:
+polyml: