Repository : pauillac.inria.fr:/net/pauillac/constr/ARCHIVE

Module     : CONSTR/V7
Working dir: ~/V7uo/



In directory .:
              Modified                .depend
              Modified                CHANGES
              Unknown                 COMMIT
              Modified                Makefile
              Modified                TODO
              Unknown                 log.up
              Unknown                 parsing-sans-slam
              Unknown                 titi.v
              Unknown                 toto.v
In directory contrib:
              Unknown                 contrib/interface_essai
              Unknown                 contrib/log
In directory contrib/correctness:
              Modified                contrib/correctness/pcic.ml
              Modified                contrib/correctness/pmisc.ml
              Modified                contrib/correctness/psyntax.ml4
In directory contrib/extraction:
              Modified                contrib/extraction/extract_env.ml
              Modified                contrib/extraction/haskell.ml
              Modified                contrib/extraction/ocaml.ml
              Modified                contrib/extraction/ocaml.mli
In directory contrib/field:
              Modified                contrib/field/field.ml4
Message: cvs server: New directory `contrib/interface' -- ignored
              Unknown                 contrib/interface/ctast.ml
In directory contrib/omega:
              Modified                contrib/omega/coq_omega.ml
In directory contrib/ring:
              Modified                contrib/ring/Setoid_ring_normalize.v
              Modified                contrib/ring/quote.ml
              Modified                contrib/ring/ring.ml
Message: cvs server: New directory `contrib/setoid' -- ignored
In directory contrib/xml:
              Modified                contrib/xml/xmlcommand.ml
In directory dev:
              Modified                dev/base_include
              Modified                dev/top_printers.ml
In directory kernel:
              Modified                kernel/cooking.ml
              Modified                kernel/cooking.mli
              Modified                kernel/environ.ml
              Modified                kernel/environ.mli
              Unknown                 kernel/identifier.ml
              Unknown                 kernel/identifier.mli
              Modified                kernel/names.ml
              Modified                kernel/names.mli
              Modified                kernel/safe_typing.mli
              Modified                kernel/univ.ml
In directory lib:
              Modified                lib/system.ml
              Modified                lib/system.mli
              Modified                lib/util.ml
              Modified                lib/util.mli
In directory library:
              Modified                library/declare.ml
              Modified                library/declare.mli
              Modified                library/global.ml
              Modified                library/global.mli
              Modified                library/lib.ml
              Modified                library/lib.mli
              Modified                library/library.ml
              Modified                library/library.mli
              Modified                library/nametab.ml
              Unknown                 library/nametab.ml.copie
              Unknown                 library/nametab.ml.saved
              Modified                library/nametab.mli
              Unknown                 library/nametab.mli.saved
In directory parsing:
              Modified                parsing/ast.ml
              Modified                parsing/ast.mli
              Modified                parsing/astterm.ml
              Modified                parsing/coqast.ml
              Modified                parsing/coqast.mli
              Modified                parsing/coqlib.ml
              Modified                parsing/coqlib.mli
              Modified                parsing/esyntax.ml
              Modified                parsing/extend.ml4
              Modified                parsing/g_basevernac.ml4
              Modified                parsing/g_cases.ml4
              Modified                parsing/g_constr.ml4
              Modified                parsing/g_ltac.ml4
              Modified                parsing/g_prim.ml4
              Modified                parsing/g_rsyntax.ml
              Modified                parsing/g_tactic.ml4
              Modified                parsing/g_vernac.ml4
              Modified                parsing/g_zsyntax.ml
              Modified                parsing/lexer.ml4
              Modified                parsing/pcoq.ml4
              Modified                parsing/pcoq.mli
              Modified                parsing/pretty.ml
              Modified                parsing/prettyp.ml
              Modified                parsing/printer.ml
              Modified                parsing/q_coqast.ml4
              Modified                parsing/search.ml
              Modified                parsing/termast.ml
In directory pretyping:
              Modified                pretyping/classops.ml
              Modified                pretyping/syntax_def.ml
In directory proofs:
              Modified                proofs/proof_trees.ml
              Modified                proofs/tacinterp.ml
              Modified                proofs/tacinterp.mli
In directory tactics:
              Modified                tactics/Inv.v
              Modified                tactics/dhyp.ml
              Modified                tactics/inv.ml
              Modified                tactics/inv.mli
              Modified                tactics/setoid_replace.ml
              Modified                tactics/tacticals.ml
              Modified                tactics/tactics.ml
              Modified                tactics/tauto.ml4
In directory test-suite:
              Unknown                 test-suite/vernac
In directory theories:
Message: cvs server: New directory `theories/Zarith' -- ignored
In directory toplevel:
              Modified                toplevel/class.ml
              Modified                toplevel/command.ml
              Modified                toplevel/command.mli
              Modified                toplevel/coqinit.ml
              Modified                toplevel/coqtop.ml
              Modified                toplevel/discharge.ml
              Modified                toplevel/discharge.mli
              Modified                toplevel/mltop.ml4
              Modified                toplevel/record.ml
              Modified                toplevel/vernacentries.ml
              Modified                toplevel/vernacinterp.ml

--------------------- End ---------------------
-- last cmd: cvs -f -n update -d -P --


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1888 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions