]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c56924b) | patch
better replacement for \\def
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 09:34:40 +0000 (09:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 09:34:40 +0000 (09:34 +0000)
commita1843fa495c952f91e330b7572e6ea214fff5d5c
tree7152e9f7441d77445811ce061b7b728ea7444252tree | snapshot
parentc56924b23147e410ad1477ed600d8319c8913258commit | diff
better replacement for \\def
helm/software/matita/help/C/scripts/fix-symbols.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.