package info
(click to toggle)
proofgeneral 4.4.1~pre170114-1
- links: PTS
- area: main
- in suites: stretch
- size: 20,596 kB
- ctags: 4,099
- sloc: lisp: 43,825; ml: 2,239; sh: 300; makefile: 264; perl: 159
Folder: images
 |
.. (parent) | |||
 |
- | rw-r--r-- | 66,563 | ProofGeneral-splash.png |
|
- | rw-r--r-- | 162,068 | ProofGeneral.png |
|
- | rw-r--r-- | 904 | README |
|
- | rw-r--r-- | 307 | epg-abort.png |
|
- | rw-r--r-- | 908 | epg-abort.xpm |
|
- | rw-r--r-- | 860 | epg-command.png |
|
- | rw-r--r-- | 4,475 | epg-command.xpm |
|
- | rw-r--r-- | 889 | epg-context.png |
|
- | rw-r--r-- | 3,291 | epg-context.xpm |
|
- | rw-r--r-- | 854 | epg-find.png |
|
- | rw-r--r-- | 3,832 | epg-find.xpm |
|
- | rw-r--r-- | 1,068 | epg-goal.png |
|
- | rw-r--r-- | 5,432 | epg-goal.xpm |
|
- | rw-r--r-- | 396 | epg-goto.png |
|
- | rw-r--r-- | 1,447 | epg-goto.xpm |
|
- | rw-r--r-- | 918 | epg-help.png |
|
- | rw-r--r-- | 4,840 | epg-help.xpm |
|
- | rw-r--r-- | 848 | epg-home.png |
|
- | rw-r--r-- | 2,803 | epg-home.xpm |
|
- | rw-r--r-- | 724 | epg-info.png |
|
- | rw-r--r-- | 3,000 | epg-info.xpm |
|
- | rw-r--r-- | 257 | epg-interrupt.png |
|
- | rw-r--r-- | 1,047 | epg-interrupt.xpm |
|
- | rw-r--r-- | 184 | epg-next.png |
|
- | rw-r--r-- | 786 | epg-next.xpm |
|
- | rw-r--r-- | 347 | epg-prooftree.png |
|
- | rw-r--r-- | 776 | epg-prooftree.xpm |
|
- | rw-r--r-- | 1,205 | epg-qed.png |
|
- | rw-r--r-- | 6,551 | epg-qed.xpm |
|
- | rw-r--r-- | 228 | epg-restart.png |
|
- | rw-r--r-- | 789 | epg-restart.xpm |
|
- | rw-r--r-- | 187 | epg-retract.png |
|
- | rw-r--r-- | 789 | epg-retract.xpm |
|
- | rw-r--r-- | 874 | epg-state.png |
|
- | rw-r--r-- | 3,289 | epg-state.xpm |
|
- | rw-r--r-- | 179 | epg-undo.png |
|
- | rw-r--r-- | 786 | epg-undo.xpm |
|
- | rw-r--r-- | 189 | epg-use.png |
|
- | rw-r--r-- | 785 | epg-use.xpm |
|
- | rw-r--r-- | 1,638 | hiddenproof.xpm |
