2012-08-03  Stefano Zacchiroli  <zack@upsilon.cc>
	* ALL release 0.6.3
	* Cudf: bugfix: ensure that Cudf.status sizes are non-bogus
	* Cudf: new functions to lookup properties as typed values
	  lookup_typed_{package,request,preamble}_property
	* Cudf: new functions to lookup type declarations
	  for both core and extra package properties
	* Cudf_conf: offer direct access to per-stanza property schemata
	* testsuite: add printers to better inspect test failures
	* Cudf: refactoring, build raw property access on top of typed one
	* Cudf_conf: refactoring, deduplicate "keep" property enums

2011-11-27  Stefano Zacchiroli  <zack@upsilon.cc>
	* ALL release 0.6.2
	* ALL Cudf: add a new mapping between packages and unique integer
	  identifiers, useful to avoid external uid maps (patch by Pietro
	  Abate)
	* ALL Cudf: who_provides is now more general and can query both
	  installed and available packages (patch by Pietro Abate)
	* ALL Cudf_printer: expose generic higher order printers

2011-09-15  Stefano Zacchiroli  <zack@upsilon.cc>
	* ALL release 0.6.1
	* ALL Cudf_parser: allow parsing of empty universes as well as
	  parsing of documents containing only a (possibly empty) request

2011-06-01  Stefano Zacchiroli  <zack@upsilon.cc>
	* ALL release 0.6
	* ALL cudf-check: faster (~ 2x) -dump
	* ALL Cudf_printer/Cudf_types_pp: speed improvement (~ 3.5x)
          get rid of Format, output only on strings (_types_pp) or on
          out_channel (_printer).                      [ API change ]
	* ALL Cudf_printer: add IO.output based API
	* ALL Cudf_types_pp: fix pretty printing of "enum[...]" type
	* ALL Cudf_printer.pp_cudf: avoid extra blank line before request
	* doc: clarify is_solution meaning wrt inconsistent universes
	* c-lib: link caml_hash_variant with -ldl

2010-11-04  Stefano Zacchiroli  <zack@upsilon.cc>

	* ALL parser: add support for ExtLib IO channels
	  Thanks Pietro Abate for the patch. (Closes: #299)
	* ALL add Cudf.mem_package (Closes: #307)
	* ALL Development release 0.5.99

2010-06-25  Stefano Zacchiroli  <zack@upsilon.cc>

	* ALL bug fix: do not enforce Keep on uninstalled packages
	  Thanks Ralf Treinen for the patch! (Closes: #266)
	* ALL bug fix: nicer error message for unknown packages found in
	  solution (Closes: #267)
	* ALL bug fix: avoid pretty printing some malformed vpkgformulae
	  (Closes: #272)
	* ALL bug fix: check for duplicate property in 822 stanzas
	  (Closes: #269)
	* ALL bug fix: comments no longer split stanzas in two
	  (Closes: #250)
	* ALL bug fix: perform string escape when pretty printing type
	  declarations (Closes: #271)
	* ALL add several test cases to the test suite
	* ALL Development release 0.5.98

2010-06-03  Stefano Zacchiroli  <zack@upsilon.cc>

	* ALL bug fix: optional/mandatory extra property management
	* c-lib bug fix: add handling of vpkgformula extra properties
	* ALL bug fix: allow empty vpkglist as default values
	* ALL bug fix: do not accept trivial formulae as v(eq)pkglist
	* ALL Development release 0.5.97

2010-06-01  Stefano Zacchiroli  <zack@upsilon.cc>

	* c-lib add structured accessors to request fields
	  (patch by Gustavo Gutierrez, thanks!)
	* doc better explain the role of load_solution
	* ALL simpler API for solutions: cudf_load_solution_from_file
	* ALL bug fix: avoid losing ?typedecl in convenience functions
	* c-lib add bindings for cudf_load_solution_from_file
	* backward-compatibility enabling compilation with OCaml 3.10.2
	* ALL bug fix: support heading '+' when parsing posint
	* ALL Development release 0.5.96

2009-12-18  Stefano Zacchiroli  <zack@upsilon.cc>

	* c-lib Remove the need of OCaml devel stuff to use the C API
	* c-lib Provide bindings to OCaml native code, if available
	* c-lib Hide OCaml "value", it is way more safe (API change)
	* c-lib O(n^2) -> O(n) speed-up in package list conversion
	* ALL Development release 0.5.94

2009-11-25  Stefano Zacchiroli  <zack@upsilon.cc>

	* ALL Porting to CUDF 2.0
	* ALL Development release 0.5.92

2009-02-24  Stefano Zacchiroli  <zack@upsilon.cc>

	* ALL First public release, version 0.4

