Log of /misc/pretty.ml

---

Revision 1474 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:53:27 2007 UTC (5 years, 11 months ago) by abate
File length: 6524 byte(s)
Diff to previous 377

[r2005-02-23 01:17:28 by afrisch] Print

Original author: afrisch
Date: 2005-02-23 01:17:29+00:00

---

Revision 377 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:59 2007 UTC (5 years, 11 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, 11 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, 11 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