]> matita.cs.unibo.it Git - helm.git/commit
1. folded maction are now selectable
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Jul 2003 08:14:43 +0000 (08:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Jul 2003 08:14:43 +0000 (08:14 +0000)
commitda6e5b3fcfc9ae2fb4655b755cc3b0db600a966d
tree1e151f02b4e21c330862b85d7a4328000bfd0496
parent3f411d0379fd1f242acd66b2a188eb484d78bf7c
1. folded maction are now selectable
2. metavariable occurrences are now displayed together with their
   substitution (to be improved)
3. the hypothesis in the metasenv are now displayed in the right order
helm/ocaml/cic_transformations/cexpr2pres.ml
helm/ocaml/cic_transformations/content2pres.ml
helm/ocaml/cic_transformations/content_expressions.ml
helm/ocaml/cic_transformations/content_expressions.mli