]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cdb8e1) | patch
- nUri : added Sets of uris for use in "probe"
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Feb 2013 16:20:34 +0000 (16:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Feb 2013 16:20:34 +0000 (16:20 +0000)
commit243d091f23f8338e155cdde14969a6043b8c89af
treef970c726d8de0a6bc76e7183f09619421d014276tree | snapshot
parent7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960commit | diff
- nUri : added Sets of uris for use in "probe"
- probe: now we can exclude the objects of dismissed sources
  (those in .matita/ but not in the development as .ma)
- lambdadelta: Makefile now uses the new feature of "probe"
matita/components/binaries/probe/engine.ml diff | blob | history
matita/components/binaries/probe/engine.mli diff | blob | history
matita/components/binaries/probe/matitaList.ml diff | blob | history
matita/components/binaries/probe/matitaList.mli diff | blob | history
matita/components/binaries/probe/nCicScan.ml diff | blob | history
matita/components/binaries/probe/options.ml diff | blob | history
matita/components/binaries/probe/options.mli diff | blob | history
matita/components/binaries/probe/probe.ml diff | blob | history
matita/components/ng_kernel/nUri.ml diff | blob | history
matita/components/ng_kernel/nUri.mli diff | blob | history
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.