index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Mode
Name
Size
-rw-r--r--
.coqide-gtk2rc
1127
log
plain
-rw-r--r--
FAQ
3157
log
plain
-rw-r--r--
command_windows.ml
4660
log
plain
-rw-r--r--
command_windows.mli
764
log
plain
-rw-r--r--
config_lexer.mll
1940
log
plain
-rw-r--r--
config_parser.mly
965
log
plain
-rw-r--r--
coq.ico
11326
log
plain
-rw-r--r--
coq.ml
20512
log
plain
-rw-r--r--
coq.mli
2454
log
plain
-rw-r--r--
coq.png
6269
log
plain
-rwxr-xr-x
coq2.ico
4710
log
plain
-rw-r--r--
coq_commands.ml
7606
log
plain
-rw-r--r--
coq_tactics.ml
2462
log
plain
-rw-r--r--
coq_tactics.mli
567
log
plain
-rw-r--r--
coqide.ml
128616
log
plain
-rw-r--r--
coqide.mli
852
log
plain
-rw-r--r--
gtk_parsing.ml
6202
log
plain
-rw-r--r--
highlight.mll
7012
log
plain
-rw-r--r--
ide.mllib
266
log
plain
-rw-r--r--
ideutils.ml
11851
log
plain
-rw-r--r--
ideutils.mli
2729
log
plain
-rw-r--r--
preferences.ml
19887
log
plain
-rw-r--r--
preferences.mli
2447
log
plain
-rw-r--r--
tags.ml
2114
log
plain
-rw-r--r--
typed_notebook.ml
2722
log
plain
-rw-r--r--
undo.ml
5363
log
plain
-rw-r--r--
undo_lablgtk_ge212.mli
1135
log
plain
-rw-r--r--
undo_lablgtk_ge26.mli
1051
log
plain
-rw-r--r--
undo_lablgtk_lt26.mli
1047
log
plain
-rw-r--r--
utf8_convert.mll
1318
log
plain
d---------
utils
466
log
plain