]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab1ea19) | patch
moved dictionaries in a new "dict" directory
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 09:12:59 +0000 (09:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 09:12:59 +0000 (09:12 +0000)
commit790bbdb3c04f0fc2d430b8737cd99dc9014dc1bb
treeabc9afbebd1c464fcb3661cf95f34faf67ad99f6tree | snapshot
parentab1ea1988436efdac3c8148cd8310997d0122a39commit | diff
moved dictionaries in a new "dict" directory
helm/DEVEL/mathml_editor/dict/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dict/Makefile.am [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dict/dictionary-basic.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dict/dictionary-test.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dict/dictionary-tex.xml [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dict/dictionary.dtd [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/dictionary-basic.xml [deleted file] blob | history
helm/DEVEL/mathml_editor/dictionary-test.xml [deleted file] blob | history
helm/DEVEL/mathml_editor/dictionary-tex.xml [deleted file] blob | history
helm/DEVEL/mathml_editor/dictionary.dtd [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.