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: a8fa717) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 11 Oct 2004 19:16:52 +0000 (19:16 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 11 Oct 2004 19:16:52 +0000 (19:16 +0000)
commit	d645b8bf30064e94ee9777d793854eebc921dfe0
tree	86169f2a9d43a6a24caee7977924b3e5bfd8e9b8	tree \| snapshot
parent	a8fa717b6fe0f59ced6ac78f4d7bb6255a7405ec	commit \| diff

moved utf8 macro handling to the new module Utf8Macros

helm/ocaml/cic_disambiguation/.depend		diff \| blob \| history
helm/ocaml/cic_disambiguation/Makefile		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2Macro.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2Macro.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/macro_table.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/macros/dictionary-tex.xml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/macros/entities-table.xml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/macros/extra-entities.xml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/make_table.ml	[deleted file]	blob \| history

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