diff options
Diffstat (limited to 'development/camlp5/slack-desc')
| -rw-r--r-- | development/camlp5/slack-desc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/camlp5/slack-desc b/development/camlp5/slack-desc index 505332cf75..845d24cb65 100644 --- a/development/camlp5/slack-desc +++ b/development/camlp5/slack-desc @@ -8,10 +8,10 @@ |-----handy-ruler------------------------------------------------------| camlp5: camlp5 (an ocaml preprocessor and pretty-printer) camlp5: -camlp5: Camlp5 offers pretty-printing and preprocessing for the ocaml -camlp5: language. +camlp5: Camlp5 is a preprocessor-pretty-printer of ocaml. +camlp5: It also provides parsing and printing tools. camlp5: -camlp5: Homepage: http://pauillac.inria.fr/~ddr/camlp5/ +camlp5: Homepage: http://camlp5.gforge.inria.fr/ camlp5: camlp5: camlp5: |