]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f554987) | patch
* mini-patch to dictionary
authorLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 09:26:19 +0000 (09:26 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 09:26:19 +0000 (09:26 +0000)
commit06de8bf510e07ae27356c550acb185c86298dd7a
tree1a7d4078bd31c3cc8782206723268c4b3c484e35tree | snapshot
parentf5549870731e37889c7ad4d31556bef335d793a2commit | diff
* mini-patch to dictionary
* added dependencies to shared li;b
helm/DEVEL/mathml_editor/dict/dictionary-tex.xml diff | blob | history
helm/DEVEL/mathml_editor/dictionary-tex.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/src/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.