#
# ChangeLog for Deliverables/D4.1/pretty.ml
#
# Generated by Trac 1.2
# Apr 22, 2021, 5:10:37 PM

Tue, 21 Sep 2010 12:21:25 GMT mulligan [98]
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/pretty.ml (added)
	* Deliverables/D4.1/pretty.mli (added)

	preliminary pretty-printing function (no usable output)