index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
Mode
Name
Size
-rw-r--r--
FAQ
3020
log
plain
-rw-r--r--
command_windows.ml
5186
log
plain
-rw-r--r--
command_windows.mli
790
log
plain
-rw-r--r--
config_lexer.mll
2016
log
plain
-rw-r--r--
coq.ico
11326
log
plain
-rw-r--r--
coq.ml
10102
log
plain
-rw-r--r--
coq.mli
2567
log
plain
-rw-r--r--
coq.png
6269
log
plain
-rwxr-xr-x
coq2.ico
4710
log
plain
-rw-r--r--
coq_commands.ml
7692
log
plain
-rw-r--r--
coq_icon.rc
28
log
plain
-rw-r--r--
coq_lex.mll
6866
log
plain
-rw-r--r--
coqide-gtk2rc
903
log
plain
-rw-r--r--
coqide.ml
110069
log
plain
-rw-r--r--
coqide.mli
1496
log
plain
-rw-r--r--
coqide_main.ml4
4223
log
plain
-rw-r--r--
coqide_ui.ml
5072
log
plain
-rw-r--r--
gtk_parsing.ml
6159
log
plain
-rw-r--r--
ide.mllib
292
log
plain
-rw-r--r--
ide_mac_stubs.c
3217
log
plain
-rw-r--r--
ide_win32_stubs.c
1791
log
plain
-rw-r--r--
ideproof.ml
5835
log
plain
-rw-r--r--
ideutils.ml
11206
log
plain
-rw-r--r--
ideutils.mli
2950
log
plain
-rw-r--r--
mac_default_accel_map
20652
log
plain
-rw-r--r--
minilib.ml
6019
log
plain
-rw-r--r--
minilib.mli
1715
log
plain
-rw-r--r--
preferences.ml
23872
log
plain
-rw-r--r--
preferences.mli
2640
log
plain
-rw-r--r--
project_file.ml4
7855
log
plain
-rw-r--r--
tags.ml
3112
log
plain
-rw-r--r--
tags.mli
1444
log
plain
-rw-r--r--
typed_notebook.ml
2662
log
plain
-rw-r--r--
undo.ml
5351
log
plain
-rw-r--r--
undo_lablgtk_ge212.mli
1093
log
plain
-rw-r--r--
undo_lablgtk_ge26.mli
1037
log
plain
-rw-r--r--
undo_lablgtk_lt26.mli
1033
log
plain
-rw-r--r--
utf8_convert.mll
1306
log
plain
d---------
utils
466
log
plain