Log of /misc/pretty.ml

---

Revision 377 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:59 2007 UTC (5 years, 10 months ago) by abate
File length: 6519 byte(s)
Diff to previous 372

[r2003-05-20 17:22:38 by cvscast] Better simplification of regexp for printing

Original author: cvscast
Date: 2003-05-20 17:22:38+00:00

---

Revision 372 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:17 2007 UTC (5 years, 10 months ago) by abate
File length: 5562 byte(s)
Diff to previous 364

[r2003-05-19 20:30:05 by cvscast] Improve pretty-printer

Original author: cvscast
Date: 2003-05-19 20:30:05+00:00

---

Revision 364 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 17:28:25 2007 UTC (5 years, 10 months ago) by abate
File length: 2147 byte(s)

[r2003-05-18 13:30:38 by cvscast] New pretty-printer for types

Original author: cvscast
Date: 2003-05-18 13:30:58+00:00