]> matita.cs.unibo.it Git - helm.git/commit
Updated command ninverter. Syntax:
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 2 Oct 2009 14:50:12 +0000 (14:50 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 2 Oct 2009 14:50:12 +0000 (14:50 +0000)
commitda5dd88bbcc43d9f4342e47c922b820abf91c92f
treeed761584b7d0e7d548d792b8844d79c77d6c044c
parent38ec119c163b0e6f97a9800933d5b71c065332e8
Updated command ninverter. Syntax:

ninverter <id> for <indty> [<selection>] [: <target_sort>]

It is the same as the previous inverter except that:

- <selection> is now optional (when it is omitted, every index is selected)
- the user is allowed to specify a <target_sort> (when it is omitted, ninverter
  defaults to Prop, as it was the case for inverter)
82 files changed:
helm/software/components/acic_content/.depend
helm/software/components/acic_content/.depend.opt
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/binaries/extractor/.depend
helm/software/components/binaries/extractor/.depend.opt
helm/software/components/binaries/table_creator/.depend
helm/software/components/binaries/table_creator/.depend.opt
helm/software/components/cic/.depend
helm/software/components/cic/.depend.opt
helm/software/components/cic_acic/.depend
helm/software/components/cic_acic/.depend.opt
helm/software/components/cic_disambiguation/.depend
helm/software/components/cic_disambiguation/.depend.opt
helm/software/components/cic_exportation/.depend
helm/software/components/cic_exportation/.depend.opt
helm/software/components/cic_proof_checking/.depend
helm/software/components/cic_proof_checking/.depend.opt
helm/software/components/cic_unification/.depend
helm/software/components/cic_unification/.depend.opt
helm/software/components/content_pres/.depend
helm/software/components/content_pres/.depend.opt
helm/software/components/disambiguation/.depend
helm/software/components/disambiguation/.depend.opt
helm/software/components/extlib/.depend
helm/software/components/extlib/.depend.opt
helm/software/components/getter/.depend
helm/software/components/getter/.depend.opt
helm/software/components/grafite/.depend
helm/software/components/grafite/.depend.opt
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/.depend
helm/software/components/grafite_engine/.depend.opt
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/.depend
helm/software/components/grafite_parser/.depend.opt
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/hgdome/.depend
helm/software/components/hgdome/.depend.opt
helm/software/components/hmysql/.depend
helm/software/components/hmysql/.depend.opt
helm/software/components/lexicon/.depend
helm/software/components/lexicon/.depend.opt
helm/software/components/library/.depend
helm/software/components/library/.depend.opt
helm/software/components/logger/.depend
helm/software/components/logger/.depend.opt
helm/software/components/metadata/.depend
helm/software/components/metadata/.depend.opt
helm/software/components/ng_cic_content/.depend
helm/software/components/ng_cic_content/.depend.opt
helm/software/components/ng_disambiguation/.depend
helm/software/components/ng_disambiguation/.depend.opt
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/.depend.opt
helm/software/components/ng_paramodulation/.depend
helm/software/components/ng_paramodulation/.depend.opt
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/.depend.opt
helm/software/components/ng_tactics/.depend
helm/software/components/ng_tactics/.depend.opt
helm/software/components/ng_tactics/nInversion.ml
helm/software/components/ng_tactics/nInversion.mli
helm/software/components/registry/.depend
helm/software/components/registry/.depend.opt
helm/software/components/syntax_extensions/.depend
helm/software/components/syntax_extensions/.depend.opt
helm/software/components/tactics/.depend
helm/software/components/tactics/.depend.opt
helm/software/components/thread/.depend
helm/software/components/thread/.depend.opt
helm/software/components/tptp_grafite/.depend
helm/software/components/tptp_grafite/.depend.opt
helm/software/components/urimanager/.depend
helm/software/components/urimanager/.depend.opt
helm/software/components/whelp/.depend
helm/software/components/whelp/.depend.opt
helm/software/components/xml/.depend
helm/software/components/xml/.depend.opt
helm/software/components/xmldiff/.depend
helm/software/components/xmldiff/.depend.opt