]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_cic_content/nTermCicContent.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7deb0d8) | patch
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
tree4254aac1f7d3fecb69ac6339792e4faeb92b2ee0tree | snapshot
parent7deb0d8f534f779adb1b5813a7f159609b9cba3ccommit | diff
Semantic selection back again (but no semantic cut&paste yet).
helm/software/components/ng_cic_content/nTermCicContent.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.