]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d25d860) | patch
DoubleTypeInference: added a comment on "does_not_occur"
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 May 2007 19:04:10 +0000 (19:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 8 May 2007 19:04:10 +0000 (19:04 +0000)
commitcf45f0f766c147324e587522a4a3761b5ac13415
tree24180cce990c88ab138bda0fc79841d818478b6ctree | snapshot
parentd25d8606132d909f449ad65c6131e6eda6135ddacommit | diff
DoubleTypeInference: added a comment on "does_not_occur"
GrafiteAstPp: rendering of clear tactic fixed
helm/software/components/cic_acic/doubleTypeInference.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.