diff -Nru prooftree-0.12/about_window.ml prooftree-0.13/about_window.ml
--- prooftree-0.12/about_window.ml 2013-03-28 08:02:00.000000000 +0000
+++ prooftree-0.13/about_window.ml 2017-01-03 10:35:43.000000000 +0000
@@ -1,7 +1,7 @@
(*
* prooftree --- proof tree display for Proof General
*
- * Copyright (C) 2011 - 2013 Hendrik Tews
+ * Copyright (C) 2011 - 2016 Hendrik Tews
*
* This file is part of "prooftree".
*
@@ -19,7 +19,7 @@
* You should have received a copy of the GNU General Public License
* along with "prooftree". If not, see .
*
- * $Id: about_window.ml,v 1.6 2013/03/28 08:02:00 tews Exp $
+ * $Id: about_window.ml,v 1.7 2016/01/23 12:57:13 tews Exp $
*)
diff -Nru prooftree-0.12/ChangeLog prooftree-0.13/ChangeLog
--- prooftree-0.12/ChangeLog 2013-05-17 13:00:54.000000000 +0000
+++ prooftree-0.13/ChangeLog 2017-01-03 10:35:43.000000000 +0000
@@ -1,3 +1,121 @@
+2017-01-03 Hendrik Tews
+
+ * prepare changes.html for release
+
+2017-01-02 Hendrik Tews
+
+ * compile with -safe-string
+
+2017-01-02 Hendrik Tews
+
+ * update doc
+
+2016-12-28 Hendrik Tews
+
+ * gitignore and some debugging code in comments
+
+2016-01-23 Hendrik Tews
+
+ * update copyright
+
+2016-01-22 Hendrik Tews
+
+ * add tests for cycle/swap/revgoals, Grab Existentials/Unshelve, giveup
+
+2016-01-21 Hendrik Tews
+
+ * update evar parsing for 8.5
+
+2016-01-18 Hendrik Tews
+
+ * disable implicit optional argument elimination warning 48
+
+2016-01-18 Hendrik Tews
+
+ * fix deprecated or
+
+2016-01-17 Hendrik Tews
+
+ * fix 4.02 compilation problem
+
+2016-01-16 Hendrik Tews
+
+ * crash fix ??
+
+2013-08-11 Hendrik Tews
+
+ * rename delete_non_sticky_node_window
+
+2013-08-10 Hendrik Tews
+
+ * let the cancel button reset the configuration
+
+2013-08-10 Hendrik Tews
+
+ * display a warning for config file version errors
+
+2013-08-10 Hendrik Tews
+
+ * catch input log file opening errors
+
+2013-08-08 Hendrik Tews
+
+ * close old PG log file, before changing it
+
+2013-08-08 Hendrik Tews
+
+ * update doc
+
+2013-08-08 Hendrik Tews
+
+ * config window without apply
+
+2013-08-05 Hendrik Tews
+
+ * use stock items for most buttons
+
+2013-08-04 Hendrik Tews
+
+ * describe prooftree notification messages and other doc fixes
+
+2013-08-03 Hendrik Tews
+
+ * show selected menu entry
+
+2013-08-03 Hendrik Tews
+
+ * update INSTALL, README; add compatibility file
+
+2013-08-03 Hendrik Tews
+
+ * update man page
+
+2013-08-02 Hendrik Tews
+
+ * quit prooftree when closing -config or -help-dialog windows
+ * update help window text
+
+2013-08-01 Hendrik Tews
+
+ * add history list in external sequent windows
+
+2013-07-23 Hendrik Tews
+
+ * fix wrong existential info in external node windows
+
+2013-07-18 Hendrik Tews
+
+ * fix title of orphaned node windows
+ * don't update content of sticky node windows
+
+2013-05-17 Hendrik Tews
+
+ * release version 0.12 on 2013-05-17 13:39:12 UTC
+
+2013-05-17 Hendrik Tews
+
+ * prepare changes.html for release
+
2013-05-17 Hendrik Tews
* prepare changes.html for release
diff -Nru prooftree-0.12/changes.html prooftree-0.13/changes.html
--- prooftree-0.12/changes.html 2013-05-17 13:00:54.000000000 +0000
+++ prooftree-0.13/changes.html 2017-01-03 10:35:43.000000000 +0000
@@ -37,6 +37,20 @@
-->
+2017-01-03: Prooftree 0.13 released
+
+
+- sequent history accessible in external sequent node windows
+
+- new menu item Show selected
+
+- improved configuration dialog
+
+- support Coq 8.5 and 8.6
+
+
+
+
2013-05-17: Prooftree 0.12 released
@@ -189,7 +203,7 @@
last changed on
-17 May 2013
+ 2 Jan 2017
by Hendrik