]> matita.cs.unibo.it Git - helm.git/commit - matita/components/binaries/xoa/lib.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc6fcb7) | patch
updated xoa and predefined virtuals
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 14 Jul 2018 18:34:18 +0000 (20:34 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 14 Jul 2018 18:34:18 +0000 (20:34 +0200)
commit040c8158f327a3091c45295e91aaed2dedc137cb
treec85fefb10dfbab1b80325241bc186be45ab8d5eatree | snapshot
parentcc6fcb70ca4f3cf01205ed722d75a2fdb2aaf779commit | diff
updated xoa and predefined virtuals

+ xoa: existing decentralized files are not overwritten by default
+ predefined virtuals: an addition for use in λδ
matita/components/binaries/xoa/ast.ml diff | blob | history
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
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.