]> matita.cs.unibo.it Git - helm.git/commit
Semantic selection back again (but no semantic cut&paste yet).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 12 Apr 2009 11:06:17 +0000 (11:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 12 Apr 2009 11:06:17 +0000 (11:06 +0000)
commit210f84d727280d71f3f4814441665e2f800c427b
tree4254aac1f7d3fecb69ac6339792e4faeb92b2ee0
parent7deb0d8f534f779adb1b5813a7f159609b9cba3c
Semantic selection back again (but no semantic cut&paste yet).
helm/software/components/ng_cic_content/nTermCicContent.ml