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: 85ccebb) | patch

author	Luca Padovani <luca.padovani@unito.it>
	Wed, 12 Mar 2003 10:18:02 +0000 (10:18 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Wed, 12 Mar 2003 10:18:02 +0000 (10:18 +0000)
commit	a2f9abb0b4f07678de024d4afb371ba59183edf0
tree	0d6a7862d91bf29c20f8e6d4a08bd9ec23b21892	tree \| snapshot
parent	85ccebb566c36671ca753debe09e6dd5c9dd0df7	commit \| diff

* changed handling of ' (\primes) with a few patches in the stylesheets

17 files changed:

helm/DEVEL/mathml_editor/Makefile.am		diff \| blob \| history
helm/DEVEL/mathml_editor/Makefile.in		diff \| blob \| history
helm/DEVEL/mathml_editor/TODO	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/configure.ac		diff \| blob \| history
helm/DEVEL/mathml_editor/dictionary-tex.xml		diff \| blob \| history
helm/DEVEL/mathml_editor/editex-config.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/editex.pc.in	[new file with mode: 0644]	blob
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c		diff \| blob \| history
helm/DEVEL/mathml_editor/src/Makefile.am		diff \| blob \| history
helm/DEVEL/mathml_editor/src/Makefile.in		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.hh		diff \| blob \| history
helm/DEVEL/mathml_editor/test/Makefile.in		diff \| blob \| history
helm/DEVEL/mathml_editor/test/editor.cc		diff \| blob \| history
helm/DEVEL/mathml_editor/test/guiGTK.c		diff \| blob \| history
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl		diff \| blob \| history
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl		diff \| blob \| history

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