From 34c15424cc454cd59c5e094093acd6ddbdcc5186 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 3 Jan 2012 09:36:05 +0000 Subject: 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 --- images/epg-prooftree.png | Bin 0 -> 347 bytes images/epg-prooftree.xpm | 30 ++++++++++++++++++++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 images/epg-prooftree.png create mode 100644 images/epg-prooftree.xpm (limited to 'images') diff --git a/images/epg-prooftree.png b/images/epg-prooftree.png new file mode 100644 index 00000000..0de55213 Binary files /dev/null and b/images/epg-prooftree.png differ 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", +" ", +" ", +" . ", +" . ", +" . ", +" ..... ", +" . ", +" . ", +" . ", +" ", +" ++ .. ", +" + .. ", +" + .. ", +" + .. ", +" + .. ", +" + . ", +" + . ", +" + . ", +" +++++ ..... ", +" + . ", +" + . ", +" + . ", +" ", +" "}; -- cgit v1.2.3