]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28d4ff1) | patch
added title to sliced htmls
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 12:54:56 +0000 (12:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 12:54:56 +0000 (12:54 +0000)
commitf4f07dfb8a4e0235bc09698e3df8ff1e9ea7511b
tree2bce1f78242f1f7c9b8bd65533e1ff2012b50d6ftree | snapshot
parent28d4ff155faedd20b4787c13a7cbda2acf4089a6commit | diff
added title to sliced htmls
matita/help/C/split.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.