diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-10-28 09:19:59 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-10-28 09:19:59 +0100 |
| commit | 8391990970df4c26d8bccc9ad41d68beaea99f50 (patch) | |
| tree | 943371b8445c1992162e66f26bed65ddf72588b8 | |
| parent | f993d2f43436194cbf417c1c976f307298ae152a (diff) | |
| download | ppl-8391990970df4c26d8bccc9ad41d68beaea99f50.tar.gz ppl-8391990970df4c26d8bccc9ad41d68beaea99f50.tar.bz2 ppl-8391990970df4c26d8bccc9ad41d68beaea99f50.zip | |
Updated.
| -rw-r--r-- | NEWS | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -9,12 +9,14 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- -NEWS for version 1.1 (released date to be decided) +NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- New and Changed Features ======================== +o Added a new operator on polyhedra: the positive time elapse. + o In the Java language interface: - The constraint/generator/... system classes now extend the ArrayList |