index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
ltac
Mode
Name
Size
-rw-r--r--
Ltac.v
0
log
plain
-rw-r--r--
coretactics.mlg
10539
log
plain
-rw-r--r--
evar_tactics.ml
4065
log
plain
-rw-r--r--
evar_tactics.mli
1082
log
plain
-rw-r--r--
extraargs.ml4
12195
log
plain
-rw-r--r--
extraargs.mli
2740
log
plain
-rw-r--r--
extratactics.ml4
37568
log
plain
-rw-r--r--
extratactics.mli
961
log
plain
-rw-r--r--
g_auto.ml4
7200
log
plain
-rw-r--r--
g_class.ml4
4004
log
plain
-rw-r--r--
g_eqdecide.mlg
1284
log
plain
-rw-r--r--
g_ltac.ml4
19434
log
plain
-rw-r--r--
g_obligations.ml4
5717
log
plain
-rw-r--r--
g_rewrite.ml4
13160
log
plain
-rw-r--r--
g_tactic.mlg
29351
log
plain
-rw-r--r--
ltac_plugin.mlpack
286
log
plain
-rw-r--r--
pltac.ml
2574
log
plain
-rw-r--r--
pltac.mli
1817
log
plain
-rw-r--r--
pptactic.ml
52491
log
plain
-rw-r--r--
pptactic.mli
5008
log
plain
-rw-r--r--
profile_ltac.ml
15912
log
plain
-rw-r--r--
profile_ltac.mli
4066
log
plain
-rw-r--r--
profile_ltac_tactics.ml4
2829
log
plain
-rw-r--r--
rewrite.ml
84981
log
plain
-rw-r--r--
rewrite.mli
3671
log
plain
-rw-r--r--
tacarg.ml
1416
log
plain
-rw-r--r--
tacarg.mli
2256
log
plain
-rw-r--r--
taccoerce.ml
14660
log
plain
-rw-r--r--
taccoerce.mli
4045
log
plain
-rw-r--r--
tacentries.ml
24706
log
plain
-rw-r--r--
tacentries.mli
3552
log
plain
-rw-r--r--
tacenv.ml
5923
log
plain
-rw-r--r--
tacenv.mli
3658
log
plain
-rw-r--r--
tacexpr.ml
12799
log
plain
-rw-r--r--
tacexpr.mli
12808
log
plain
-rw-r--r--
tacintern.ml
33512
log
plain
-rw-r--r--
tacintern.mli
2157
log
plain
-rw-r--r--
tacinterp.ml
80906
log
plain
-rw-r--r--
tacinterp.mli
5131
log
plain
-rw-r--r--
tacsubst.ml
12814
log
plain
-rw-r--r--
tacsubst.mli
1257
log
plain
-rw-r--r--
tactic_debug.ml
15031
log
plain
-rw-r--r--
tactic_debug.mli
3260
log
plain
-rw-r--r--
tactic_matching.ml
15211
log
plain
-rw-r--r--
tactic_matching.mli
2372
log
plain
-rw-r--r--
tactic_option.ml
2112
log
plain
-rw-r--r--
tactic_option.mli
931
log
plain
-rw-r--r--
tauto.ml
9469
log
plain
-rw-r--r--
tauto.mli
0
log
plain
-rw-r--r--
tauto_plugin.mlpack
6
log
plain