index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
html
/
images
Mode
Name
Size
-rw-r--r--
.cvsignore
8
log
plain
-rw-r--r--
IsaPGscreen.jpg
50670
log
plain
-rw-r--r--
PG-small.jpg
1902
log
plain
-rw-r--r--
ProofGeneral.jpg
16123
log
plain
-rw-r--r--
bullethole.gif
928
log
plain
-rw-r--r--
canvaswallpaper.jpg
3546
log
plain
-rw-r--r--
coq-badge.gif
3174
log
plain
-rw-r--r--
coqlogo4.gif
1621
log
plain
-rw-r--r--
coqlogo4.xcf
3840
log
plain
-rw-r--r--
isabelle-badge.gif
4674
log
plain
-rw-r--r--
isabelle.gif
2477
log
plain
-rw-r--r--
lego-badge.gif
3925
log
plain
-rw-r--r--
pg-coq-screenshot.png
138364
log
plain
-rw-r--r--
pg-coq-thumb.png
22324
log
plain
-rw-r--r--
pg-isa-screenshot.png
46767
log
plain
-rw-r--r--
pg-isa-thumb.png
16726
log
plain
-rw-r--r--
pg-isar-screenshot.png
50400
log
plain
-rw-r--r--
pg-isar-thumb.png
20072
log
plain
-rw-r--r--
pg-lego-console-thumb.png
5648
log
plain
-rw-r--r--
pg-lego-console.png
5992
log
plain
-rw-r--r--
pg-lego-screenshot.png
32219
log
plain
-rw-r--r--
pg-lego-thumb.png
10979
log
plain
-rw-r--r--
pg-text.gif
7918
log
plain
-rw-r--r--
phox-einstein.jpg
2190
log
plain
-rw-r--r--
portrait-thumb.jpg
6220
log
plain
-rw-r--r--
portrait.jpg
84799
log
plain
-rw-r--r--
silverrule.gif
4612
log
plain
-rw-r--r--
vh40.gif
906
log
plain
-rw-r--r--
whip-thumb.jpg
5270
log
plain
-rw-r--r--
whip.jpg
67684
log
plain
-rw-r--r--
whole-man-thumb.jpg
5714
log
plain
-rw-r--r--
whole-man.jpg
63335
log
plain