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: 920c783) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 10 Jan 2023 16:59:08 +0000 (17:59 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 10 Jan 2023 16:59:08 +0000 (17:59 +0100)
commit	41f74056c3dba63046899ab25709f92acef627d5
tree	6cd8207e0819ffbff0a6f4449251ce650c82d321	tree \| snapshot
parent	920c783cf31c2e7d227f0a38f158469680937d61	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.