matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 66376d9) | patch

author	Luca Padovani <luca.padovani@unito.it>
	Thu, 20 Mar 2003 16:15:12 +0000 (16:15 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Thu, 20 Mar 2003 16:15:12 +0000 (16:15 +0000)
commit	84877da90dd68c88915b5ee54d31e9849f340eac
tree	e206d59093758e87d73c58ed455d577a895e4a33	tree \| snapshot
parent	66376d9f664b15e722459103d705470d15920a1b	commit \| diff

* added default dictionary/stylesheet paths
* small fix in configure.ac

14 files changed:

helm/DEVEL/mathml_editor/configure.ac		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml		diff \| blob \| history
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c		diff \| blob \| history
helm/DEVEL/mathml_editor/src/AMathMLFactory.cc	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/src/AMathMLFactory.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/ILPushLexer.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/Makefile.am		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/src/config.dirs.in	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/test/editor.cc		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.