projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c4f274) | patch
Draft of section Indexing and searching.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 Jan 2006 12:53:52 +0000 (12:53 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 Jan 2006 12:53:52 +0000 (12:53 +0000)
commit6f0e3275c5a100568c8529d6c58150ef4af692d0
tree0681558192e91a6305f73178090427c9db3929e6tree | snapshot
parent1c4f274260deeca43260e2591cf76992508fa56ecommit | diff
Draft of section Indexing and searching.
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.