diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:04:54 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:04:54 +0100 |
commit | 39efc41237ec906226a3a53d7396d51173495204 (patch) | |
tree | 87cd58d72d43469d2a2a0a127c1060d7c9e0206b /_tags | |
parent | 5fe4ac437bed43547b3695664974f492b55cb553 (diff) | |
parent | 97fefe1fcca363a1317e066e7f4b99b9c1e9987b (diff) |
Remove non-DFSG contentsupstream/8.4_beta+dfsg
Diffstat (limited to '_tags')
-rw-r--r-- | _tags | 53 |
1 files changed, 25 insertions, 28 deletions
@@ -1,16 +1,18 @@ ## tags for binaries -<scripts/coqmktop.{native,byte}> : use_str, use_unix, use_gramlib -<scripts/coqc.{native,byte}> : use_unix, use_gramlib +<scripts/coqmktop.{native,byte}> : use_str, use_unix, use_dynlink, use_camlpX +<scripts/coqc.{native,byte}> : use_unix, use_dynlink, use_camlpX <tools/coqdep_boot.{native,byte}> : use_unix -<tools/coqdep.{native,byte}> : use_unix, use_gramlib +<tools/coqdep.{native,byte}> : use_unix, use_dynlink, use_camlpX <tools/coq_tex.{native,byte}> : use_str -<tools/coq_makefile.{native,byte}> : use_str +<tools/coq_makefile.{native,byte}> : use_str, use_unix <tools/coqdoc/main.{native,byte}> : use_str -<checker/main.{native,byte}> : use_str, use_unix, use_gramlib +<ide/coqide_main.{native,byte}> : use_str, use_unix, thread, ide +<checker/main.{native,byte}> : use_str, use_unix, use_dynlink, use_camlpX <plugins/micromega/csdpcert.{native,byte}> : use_nums, use_unix <tools/mkwinapp.{native,byte}> : use_unix +<tools/fake_ide.{native,byte}> : use_unix ## tags for ide @@ -22,30 +24,9 @@ ## tags for camlp4 files -<**/*.ml4>: is_ml4 - -"toplevel/mltop.ml4": is_mltop, use_macro - -"parsing/lexer.ml4": use_macro -"lib/compat.ml4": use_macro -"lib/refutpat.ml4": use_extend, use_MLast -"parsing/g_xml.ml4": use_extend -"parsing/q_constr.ml4": use_extend, use_MLast -"parsing/argextend.ml4": use_extend, use_MLast -"parsing/tacextend.ml4": use_extend, use_MLast -"parsing/g_prim.ml4": use_extend -"parsing/g_ltac.ml4": use_extend -"parsing/pcoq.ml4": use_extend, use_macro -"parsing/q_util.ml4": use_MLast -"parsing/vernacextend.ml4": use_extend, use_MLast -"parsing/g_constr.ml4": use_extend -"parsing/g_tactic.ml4": use_extend -"parsing/g_proofs.ml4": use_extend -"parsing/q_coqast.ml4": use_MLast, use_macro +"toplevel/mltop.ml4": is_mltop "toplevel/whelp.ml4": use_grammar -"parsing/g_vernac.ml4": use_grammar, use_extend -"parsing/g_decl_mode.ml4": use_grammar, use_extend, use_MLast "tactics/extraargs.ml4": use_grammar "tactics/extratactics.ml4": use_grammar "tactics/class_tactics.ml4": use_grammar @@ -55,8 +36,24 @@ "tactics/hipattern.ml4": use_grammar, use_constr "tactics/rewrite.ml4": use_grammar +"parsing/g_constr.ml4": use_compat5 +"parsing/g_ltac.ml4": use_compat5 +"parsing/g_prim.ml4": use_compat5 +"parsing/g_proofs.ml4": use_compat5 +"parsing/g_tactic.ml4": use_compat5 +"parsing/g_vernac.ml4": use_compat5 +"parsing/g_xml.ml4": use_compat5 +"parsing/pcoq.ml4": use_compat5 +"plugins/decl_mode/g_decl_mode.ml4": use_compat5 +"plugins/funind/g_indfun.ml4": use_compat5 +"plugins/subtac/g_subtac.ml4": use_compat5 + +"parsing/argextend.ml4": use_compat5b +"parsing/q_constr.ml4": use_compat5b +"parsing/tacextend.ml4": use_compat5b +"parsing/vernacextend.ml4": use_compat5b + <plugins/**/*.ml4>: use_grammar -"plugins/subtac/g_subtac.ml4": use_extend ## sub-directory inclusion |