]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d05c85b) | patch
1) order of processing of case branches reverted (to generate metas in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 May 2009 11:54:20 +0000 (11:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 May 2009 11:54:20 +0000 (11:54 +0000)
commitc4ea5fdf898b6bbeff10e44046620e8b5bdefbb7
tree189c2429c5144abc35e1091e6d183aa9e2a2a1cetree | snapshot
parentd05c85b6f240e7e919b4be71896df8310f088589commit | diff
1) order of processing of case branches reverted (to generate metas in
   left-to-right order)
2) metas generated by eat_prods are now re-ordered so that they occur
   in left-to-right order
helm/software/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.