misc/pretty.ml · 413e7dc9bdae2c529f0d6d4d60b3bda34606dede · cduce / cduce · GitLab

Find file Blame History Permalink

[r2003-05-20 17:22:38 by cvscast] Better simplification of regexp for printing · 413e7dc9
Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-20 17:22:38+00:00
```
413e7dc9