]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09485b7) | patch
alt-l for not working nymore for \fox where x was in an eq class
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 14:02:53 +0000 (14:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 14:02:53 +0000 (14:02 +0000)
commita850f7bd35147a327c26330447c3d1748a449d09
tree729c1812d28b753d48ce7756c706dd5edf212400tree | snapshot
parent09485b72e01e5aa1d2a03fa56e3c7e0dfef7d3d3commit | diff
alt-l for not working nymore for \fox where x was in an eq class
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.