]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c29158) | patch
- removed () around sorts
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:19:15 +0000 (11:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:19:15 +0000 (11:19 +0000)
commit0de8fd08ab3f27ea5f3c3bf5b584104e634234c5
tree2675fe0135add402efbc9e5048c14590dfed8fdbtree | snapshot
parent4c2915860a9c90773d02a492c4112c5396ba8abfcommit | diff
- removed () around sorts
components/acic_content/cicNotationPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.