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--
blaster_window.ml
5766
log
plain
-rw-r--r--
command_windows.ml
4668
log
plain
-rw-r--r--
command_windows.mli
768
log
plain
-rw-r--r--
config_lexer.mll
1944
log
plain
-rw-r--r--
config_parser.mly
965
log
plain
-rw-r--r--
coq.ico
27574
log
plain
-rw-r--r--
coq.ml
14663
log
plain
-rw-r--r--
coq.mli
2168
log
plain
-rw-r--r--
coq.png
9101
log
plain
-rwxr-xr-x
coq2.ico
4710
log
plain
-rw-r--r--
coq_commands.ml
7392
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
113053
log
plain
-rw-r--r--
coqide.mli
853
log
plain
-rw-r--r--
extract_index.mll
1076
log
plain
-rw-r--r--
find_phrase.mll
2096
log
plain
-rw-r--r--
highlight.mll
5011
log
plain
-rw-r--r--
ideutils.ml
10061
log
plain
-rw-r--r--
ideutils.mli
2735
log
plain
-rw-r--r--
index_urls.txt
21782
log
plain
-rw-r--r--
preferences.ml
17030
log
plain
-rw-r--r--
preferences.mli
2238
log
plain
-rw-r--r--
undo.ml
5417
log
plain
-rw-r--r--
undo_lablgtk_ge26.mli
1052
log
plain
-rw-r--r--
undo_lablgtk_lt26.mli
1048
log
plain
-rw-r--r--
utf8.v
2503
log
plain
-rw-r--r--
utf8_convert.mll
1323
log
plain
d---------
utils
597
log
plain