diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-01-03 09:36:05 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-01-03 09:36:05 +0000 |
commit | 34c15424cc454cd59c5e094093acd6ddbdcc5186 (patch) | |
tree | fb89551781d9338736636c2d1808fdd1e900bc21 /images | |
parent | 3cc293070ea306d3b9dc5c007267c5a8ad3c860e (diff) |
merge ProofTreeBranch into main trunk:
- add support for proof-tree displays (currently Coq only)
- new file generic/proof-tree.el contains generic code
- Coq specific code has been added to coq/coq.el
Changes to existing Proof General functions:
- proof-shell-exec-loop and proof-shell-filter-manage-output call
proof-tree display functions, when the proof-tree display is on
- proof-shell-exec-loop returns t if proof-action-list is empty
_or_ contains only items for updating the proof-tree
- proof-shell-should-be-silent returns nil when the proof-tree
display is on
- coq-last-prompt-info, coq-last-prompt-info-safe return as
additional 4th element the name of the current proof
Diffstat (limited to 'images')
-rw-r--r-- | images/epg-prooftree.png | bin | 0 -> 347 bytes | |||
-rw-r--r-- | images/epg-prooftree.xpm | 30 |
2 files changed, 30 insertions, 0 deletions
diff --git a/images/epg-prooftree.png b/images/epg-prooftree.png Binary files differnew file mode 100644 index 00000000..0de55213 --- /dev/null +++ b/images/epg-prooftree.png diff --git a/images/epg-prooftree.xpm b/images/epg-prooftree.xpm new file mode 100644 index 00000000..3fd2ecf2 --- /dev/null +++ b/images/epg-prooftree.xpm @@ -0,0 +1,30 @@ +/* XPM */ +static char * epg_prooftree_xpm[] = { +"24 24 3 1", +" c None", +". c #A52A2A", +"+ c #0000FF", +" ", +" ", +" . ", +" . ", +" . ", +" ..... ", +" . ", +" . ", +" . ", +" ", +" ++ .. ", +" + .. ", +" + .. ", +" + .. ", +" + .. ", +" + . ", +" + . ", +" + . ", +" +++++ ..... ", +" + . ", +" + . ", +" + . ", +" ", +" "}; |