version: 0.08
date: Fri Oct 21 12:36:20 CEST 2011
changes:
	- improved parsing
	- drop isl_div abstraction
	- rename isl_dim to isl_space
	- |-
	  explicitly differentiate between spaces of maps,
	  sets and parameter sets
	- add support for identifiers
	- add support for (piecewise) multi quasi-affine expressions
	- preliminary Python bindings
---
version: 0.07
date: Tue Jul 12 19:34:51 CEST 2011
changes:
	- hide internal structures of isl_div and isl_constraint
	- preliminary scheduling
	- add support for local spaces and (piecewise) quasi-affine expressions
---
version: 0.06
date: Fri Mar 18 15:59:16 CET 2011
changes:
	- improved parsing
	- consistency changes in API
	- hide internal structure of isl_ctx
---
version: 0.05.1
date: Wed Jan  5 10:21:42 CET 2011
changes:
	- fix simple symmetry detection in parametric integer programming
---
version: 0.05
date: Thu Dec 23 17:03:14 CET 2010
changes:
	- rename header files from isl_header.h to isl/header.h
	- add higher level interface for dependence analysis
	- improved argument parsing
	- optionally triangulate domains during Bernstein expansion
	- support extended PolyLib format
	- hide internal structure of some data types
	- improved coalescing
	- add simple symmetry detection in parametric integer programming
---
version: 0.04
date: Fri Sep 10 12:57:50 CEST 2010
changes:
	- rename isl_pw_qpolynomial_fold_add
	- add isl_map_apply_pw_qpolynomial_fold
	- support named and nested spaces
	- support union sets and maps
	- add public API for matrices
---
version: 0.03
date: Tue Jun 29 13:16:46 CEST 2010
changes:
	- new printing functions
	- support for "may" accesses in dependence analysis
	- improved coalescing
	- improved transitive closure
	- fix several hard to trigger bugs
	- improved argument parsing
	- support parametric vertex enumeration for barvinok
	- optionally use Bernstein expansion to compute bounds