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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 10 Jan 2023 16:59:08 +0000 (17:59 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100)
commit	ef225b816c82d4fad37993f963804e51152f4dac
tree	c1eb3339c5448efec7d031e2e6674ec6ac2ef4c3	tree \| snapshot
parent	b161347767b1cb67c4f5b115e4414b85ac4b2183	commit \| diff

auxiliary executables (xoa, matitadep, probe, matex) ported to dune

17 files changed:

matita/components/binaries/matex/Makefile		diff \| blob \| history
matita/components/binaries/matex/dune	[new file with mode: 0644]	blob
matita/components/binaries/matex/engine.ml		diff \| blob \| history
matita/components/binaries/matex/ground.ml		diff \| blob \| history
matita/components/binaries/matex/matex.ml		diff \| blob \| history
matita/components/binaries/matitadep/Makefile	[deleted file]	blob \| history
matita/components/binaries/matitadep/dune	[new file with mode: 0644]	blob
matita/components/binaries/probe/Makefile	[deleted file]	blob \| history
matita/components/binaries/probe/dune	[new file with mode: 0644]	blob
matita/components/binaries/probe/matitaList.ml		diff \| blob \| history
matita/components/binaries/probe/nCicScan.ml		diff \| blob \| history
matita/components/binaries/xoa/Makefile	[deleted file]	blob \| history
matita/components/binaries/xoa/dune	[new file with mode: 0644]	blob
matita/components/binaries/xoa/engine.ml		diff \| blob \| history
matita/components/binaries/xoa/lib.ml		diff \| blob \| history
matita/components/binaries/xoa/lib.mli		diff \| blob \| history
matita/components/binaries/xoa/xoa.ml		diff \| blob \| history

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