]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f71c2a9) | patch
* update for 0.0.5
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:51:25 +0000 (18:51 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:51:25 +0000 (18:51 +0000)
commit42989b9b2f2a1036e17dd61208cc141a787e1c5a
tree2833576c1af004322b9c05d3a2bd23cf70ab3dactree | snapshot
parentf71c2a9890c7e2443f7fa46df385053f354240a5commit | diff
* update for 0.0.5
helm/DEVEL/mathml_editor/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.