]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6fd879) | patch
Name generator for Russell greatly improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 May 2011 14:58:10 +0000 (14:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 May 2011 14:58:10 +0000 (14:58 +0000)
commitb4b4e4ae04986f2e344e403191e957c1f4b185aa
tree67082f2ca78eb7c36eb1179d87e68e0881e63f35tree | snapshot
parentc6fd879d3de5fb7675dc46efd925a8b5b109b8c4commit | diff
Name generator for Russell greatly improved.
But maybe we need a longer term solution.
matita/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.