>> That doesn't sound right: tool-bar-mode is enabled globally by default,
>> so forcefully re-enabling it can only undo the user's preference.
> Recent versions of http://emacsformacosx.com/ disable the toolbar by
> default.
Hmm... this should be a vanilla Emacs, so it sounds like a bug: vanilla
On Mon, 19 Sep 2011, Stefan Monnier wrote:
--- a/isar/interface-setup.el Fri Sep 16 10:00:13 2011 +
+++ b/isar/interface-setup.el Sat Sep 17 15:03:27 2011 +
@@ -11,6 +11,12 @@
;;
;;
+;; Tool bar
+;;
+
+(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
+
+;;
;;
+
+(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
+
+;;
;; Unicode
;;
That doesn't sound right: tool-bar-mode is enabled globally by default,
so forcefully re-enabling it can only undo the user's preference.
The standard Mac port seems to disable it globally by defau
> --- a/isar/interface-setup.el Fri Sep 16 10:00:13 2011 +
> +++ b/isar/interface-setup.el Sat Sep 17 15:03:27 2011 +
> @@ -11,6 +11,12 @@
> ;;
> ;;
> +;; Tool bar
> +;;
> +
> +(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
> +
> +;;
> ;; Unicode
> ;;
That doesn't
OK, I will include RC5 in the next Isabelle test bundle that should be
published within the next few days.
BTW, http://proofgeneral.inf.ed.ac.uk/download still shows RC4.
I've updated this now, and the RC5 tarball is slightly updated since
Friday, with some improved documentation as well as
> BTW, http://proofgeneral.inf.ed.ac.uk/download still shows RC4.
Oops, committing web page failed -- will fix tomorrow, thanks for note.
> +(if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
OK, this is likely to be contentious for Emacs experts who prefer the toolbar
off and
On Fri, 16 Sep 2011, David Aspinall wrote:
There is a new release candidate available now (RC5) which contains the
recent (mainly Coq-related) fixes. I hope this will be the last RC and
not contain show stoppers!
OK, I will include RC5 in the next Isabelle test bundle that should be
publish
I am sure it will happen *eventually*. It would be nice to
precede/coincide with Isabelle's next release.
There is a new release candidate available now (RC5) which contains the
recent (mainly Coq-related) fixes. I hope this will be the last RC and
not contain show stoppers!
- David
On
Since we are approaching the next official Isabelle release (probably
October 2011), this is the same procedure as everytime.
Is there any serious release schedule for PG 4.1?
Just before Isabelle2011 it was planned to happen within a few days before
our release, then new features came it. No