diff options
Diffstat (limited to 'devel/alt-ergo/HISTORY')
| -rw-r--r-- | devel/alt-ergo/HISTORY | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devel/alt-ergo/HISTORY b/devel/alt-ergo/HISTORY index 5404b638cc..d97228f7bc 100644 --- a/devel/alt-ergo/HISTORY +++ b/devel/alt-ergo/HISTORY @@ -1,3 +1,9 @@ +2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 0.95.1 + +2013-01-20 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 0.95 + 2012-03-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DEPENDS, DETAILS: spell created |