diff options
author | Florian Franzmann | 2012-03-02 15:16:34 +0100 |
---|---|---|
committer | Florian Franzmann | 2012-03-02 15:16:34 +0100 |
commit | f2e768c07cdd4ce05f09ef0f161d3f66044dd5ce (patch) | |
tree | 6d2949dcf8c6ff9b67a61e6ed2483cce01587662 /ChangeLog | |
parent | f010a870d8d3ed1038d14a1585fe7d4b44d1d66a (diff) |
devel/camlp5: new spell, a preprocessor-pretty-printer for ocaml
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,6 +1,7 @@ 2012-03-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * devel/ocamlgraph: new spell, a graph library for ocaml * devel/alt-ergo: new spell, a theorem prover + * devel/camlp5: new spell, a preprocessor-pretty-printer for ocaml 2012-03-01 Ladislav Hagara <hgr@vabo.cz> * libs/libftdi: new spell, library to talk to FTDI chips |