misc/pretty.ml · 09cbd06fa465d1671be4de0b1cdb49028ce4091f · cduce / cduce · GitLab

Find file Blame History Permalink

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