]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/rottener.ml
ok
[helm.git] / helm / software / matita / rottener.ml
2007-11-27 Claudio Sacerdoti... Output is now in UTF8 character counts.
2007-11-27 Claudio Sacerdoti... Ported to camlp5 < 5.00
2007-11-27 Stefano Zacchirolichange naming scheme for rottened script, so that they...
2007-11-27 Stefano Zacchiroliavoid rottening of constructor names in pattern matchings
2007-11-27 Stefano Zacchiroli- use "O" as the rottening token
2007-11-26 Stefano Zacchirolifirst draft of a script to mechanically introduce ...