[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#252721: marked as done (proofgeneral-misc: no x-symbol support available for isar)

Your message dated Fri, 13 Jan 2012 08:54:09 +0000
with message-id <E1Rlctl-0003uM-DD@franck.debian.org>
and subject line Bug#252721: fixed in proofgeneral 4.2~pre120112-1
has caused the Debian Bug report #252721,
regarding proofgeneral-misc: no x-symbol support available for isar
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
252721: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=252721
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: proofgeneral-misc
Version: 3.4-14
Severity: normal

I open a .thy file and then do `M-x customize-option isar-x-symbol-enable'.
I toggle the option to `On' and select "Set for the current session" from
the popup menu.  I get this stack backtrace:

Debugger entered--Lisp error: (void-variable x-symbol-isabelle-auto-style)
  x-symbol-mode(1)
  (progn (proof-x-symbol-set-language) (x-symbol-mode (if ... 1 0)) (if (and x-symbol-mode ...) (if ... ... ...)))
  (if proof-x-symbol-initialized (progn (proof-x-symbol-set-language) (x-symbol-mode ...) (if ... ...)))
  (save-excursion (if proof-x-symbol-initialized (progn ... ... ...)))
  proof-x-symbol-mode()
  (save-current-buffer (set-buffer buf) (proof-x-symbol-mode))
  (with-current-buffer buf (proof-x-symbol-mode))
  (if (buffer-live-p buf) (with-current-buffer buf (proof-x-symbol-mode)))
  (proof-with-current-buffer-if-exists buf (proof-x-symbol-mode))
  (while --dolist-temp--1131 (setq buf (car --dolist-temp--1131)) (proof-with-current-buffer-if-exists buf (proof-x-symbol-mode)) (setq --dolist-temp--1131 (cdr --dolist-temp--1131)))
  (let ((--dolist-temp--1131 ...) buf) (while --dolist-temp--1131 (setq buf ...) (proof-with-current-buffer-if-exists buf ...) (setq --dolist-temp--1131 ...)) nil)
  (catch (quote --cl-block-nil--) (let (... buf) (while --dolist-temp--1131 ... ... ...) nil))
  (cl-block-wrapper (catch (quote --cl-block-nil--) (let ... ... nil)))
  (block nil (let (... buf) (while --dolist-temp--1131 ... ... ...) nil))
  (dolist (buf (proof-buffers-in-mode mode)) (proof-with-current-buffer-if-exists buf (proof-x-symbol-mode)))
  (proof-map-buffers (proof-buffers-in-mode mode) (proof-x-symbol-mode))
  (while --dolist-temp--1130 (setq mode (car --dolist-temp--1130)) (proof-map-buffers (proof-buffers-in-mode mode) (proof-x-symbol-mode)) (setq --dolist-temp--1130 (cdr --dolist-temp--1130)))
  (let ((--dolist-temp--1130 ...) mode) (while --dolist-temp--1130 (setq mode ...) (proof-map-buffers ... ...) (setq --dolist-temp--1130 ...)) nil)
  (catch (quote --cl-block-nil--) (let (... mode) (while --dolist-temp--1130 ... ... ...) nil))
  (cl-block-wrapper (catch (quote --cl-block-nil--) (let ... ... nil)))
  (block nil (let (... mode) (while --dolist-temp--1130 ... ... ...) nil))
  (dolist (mode (cons proof-mode-for-script proof-xsym-extra-modes)) (proof-map-buffers (proof-buffers-in-mode mode) (proof-x-symbol-mode)))
  proof-x-symbol-mode-all-buffers()
  proof-x-symbol-enable()
  funcall(proof-x-symbol-enable)
  (if (fboundp generic) (funcall generic))
  (let ((generic ...)) (if (fboundp generic) (funcall generic)))
  (if (> (length ...) (+ 3 ...)) (let (...) (if ... ...)))
  (if (fboundp sym) (funcall sym) (if (> ... ...) (let ... ...)))
  (if (featurep (quote proof-config)) (if (fboundp sym) (funcall sym) (if ... ...)))
  proof-set-value(isar-x-symbol-enable t)
  custom-variable-set((custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic (custom-magic :args (nil) :parent #0 :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :buttons ((custom-group-link :args nil :value isabelle-isar-config :tag "Isabelle Isar Config" :parent #0 :indent 0 :button-overlay #<overlay from 852 to 872 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 852 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 872 in *Customize Option: Isar X Symbol Enable*>) (custom-group-link :args nil :value proof-user-options :tag "Proof User Options" :parent #0 :indent 0 :button-overlay #<overlay from 833 to 851 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion)!
  at 833 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 851 in *Customize Option: Isar X Symbol Enable*>) (documentation-string :args nil :value "Whether to use x-symbol in Proof General for this assistant.\nIf you activate this variable, whether or not you really get x-symbol\nsupport depends on whether your proof assistant supports it and\nwhether X-Symbol is installed in your Emacs." :indent 0 :parent #0 :doc-overlay #<overlay from 638 to 817 in *Customize Option: Isar X Symbol Enable*> :buttons ... :from #<marker (before-insertion) at 573 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) (custom-magic :args ... :parent #0 :indent 0 :children ... :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) (visibility :args nil :value t :help-echo "Hide the value of this option." :acti!
 on custom-toggle-parent :parent #0 :indent 0 :button-overlay #!
 <overlay
 from 469 to 473 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 469 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 473 in *Customize Option: Isar X Symbol Enable*>) (item :args nil :value "Isar X Symbol Enable" :format "%{%t%}:" :action custom-tag-action :help-echo "Change value of this option." :mouse-down-action custom-tag-mouse-down-action :button-face custom-variable-button-face :sample-face custom-variable-tag-face :parent #0 :indent 0 :sample-overlay #<overlay from 447 to 467 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 468 in *Customize Option: Isar X Symbol Enable*>)) :comment-widget (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) :children ((boolean :format " %[Toggle%]  %v\n" :value t :p!
 arent #0 :indent 0 :button-overlay #<overlay from 474 to 480 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 473 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 495 in *Customize Option: Isar X Symbol Enable*>) (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>)) :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil))
  custom-variable-action((custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic (custom-magic :args (nil) :parent #0 :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :buttons ((custom-group-link :args nil :value isabelle-isar-config :tag "Isabelle Isar Config" :parent #0 :indent 0 :button-overlay #<overlay from 852 to 872 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 852 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 872 in *Customize Option: Isar X Symbol Enable*>) (custom-group-link :args nil :value proof-user-options :tag "Proof User Options" :parent #0 :indent 0 :button-overlay #<overlay from 833 to 851 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-inserti!
 on) at 833 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 851 in *Customize Option: Isar X Symbol Enable*>) (documentation-string :args nil :value "Whether to use x-symbol in Proof General for this assistant.\nIf you activate this variable, whether or not you really get x-symbol\nsupport depends on whether your proof assistant supports it and\nwhether X-Symbol is installed in your Emacs." :indent 0 :parent #0 :doc-overlay #<overlay from 638 to 817 in *Customize Option: Isar X Symbol Enable*> :buttons ... :from #<marker (before-insertion) at 573 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) (custom-magic :args ... :parent #0 :indent 0 :children ... :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) (visibility :args nil :value t :help-echo "Hide the value of this option." :a!
 ction custom-toggle-parent :parent #0 :indent 0 :button-overla!
 y #<over
lay from 469 to 473 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 469 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 473 in *Customize Option: Isar X Symbol Enable*>) (item :args nil :value "Isar X Symbol Enable" :format "%{%t%}:" :action custom-tag-action :help-echo "Change value of this option." :mouse-down-action custom-tag-mouse-down-action :button-face custom-variable-button-face :sample-face custom-variable-tag-face :parent #0 :indent 0 :sample-overlay #<overlay from 447 to 467 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 468 in *Customize Option: Isar X Symbol Enable*>)) :comment-widget (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) :children ((boolean :format " %[Toggle%]  %v\n" :value t!
  :parent #0 :indent 0 :button-overlay #<overlay from 474 to 480 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 473 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 495 in *Customize Option: Isar X Symbol Enable*>) (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>)) :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) (mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-apply((custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic (custom-magic :args (nil) :parent #0 :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :buttons ((custom-group-link :args nil :value isabelle-isar-config :tag "Isabelle Isar Config" :parent #0 :indent 0 :button-overlay #<overlay from 852 to 872 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 852 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 872 in *Customize Option: Isar X Symbol Enable*>) (custom-group-link :args nil :value proof-user-options :tag "Proof User Options" :parent #0 :indent 0 :button-overlay #<overlay from 833 to 851 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 833!
  in *Customize Option: Isar X Symbol Enable*> :to #<marker at 851 in *Customize Option: Isar X Symbol Enable*>) (documentation-string :args nil :value "Whether to use x-symbol in Proof General for this assistant.\nIf you activate this variable, whether or not you really get x-symbol\nsupport depends on whether your proof assistant supports it and\nwhether X-Symbol is installed in your Emacs." :indent 0 :parent #0 :doc-overlay #<overlay from 638 to 817 in *Customize Option: Isar X Symbol Enable*> :buttons ... :from #<marker (before-insertion) at 573 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) (custom-magic :args ... :parent #0 :indent 0 :children ... :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) (visibility :args nil :value t :help-echo "Hide the value of this option." :action cust!
 om-toggle-parent :parent #0 :indent 0 :button-overlay #<overla!
 y from 4
69 to 473 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 469 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 473 in *Customize Option: Isar X Symbol Enable*>) (item :args nil :value "Isar X Symbol Enable" :format "%{%t%}:" :action custom-tag-action :help-echo "Change value of this option." :mouse-down-action custom-tag-mouse-down-action :button-face custom-variable-button-face :sample-face custom-variable-tag-face :parent #0 :indent 0 :sample-overlay #<overlay from 447 to 467 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 468 in *Customize Option: Isar X Symbol Enable*>)) :comment-widget (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) :children ((boolean :format " %[Toggle%]  %v\n" :value t :parent #!
 0 :indent 0 :button-overlay #<overlay from 474 to 480 in *Customize Option: Isar X Symbol Enable*> :from #<marker (before-insertion) at 473 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 495 in *Customize Option: Isar X Symbol Enable*>) (custom-comment :parent #0 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>)) :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :action (mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-parent-action((custom-magic :args (nil) :parent (custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic #0 :buttons (... ... ... #0 ... ...) :comment-widget (custom-comment :parent #1 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) :children (... ...) :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :indent 0 :children ((choice-item :help-echo "Change the state of this item." :format "%[%t%]" :button-prefix widget-push-button-prefix :button-suffix widget-push-button-suffix :mouse-down-action widget-magic-mouse-down-action :tag "State" :parent #0 :indent 0 :button-overlay #<overlay from 498 to 503 in *Customize Option: Isar X Symbol Enable*> :from #<m!
 arker (before-insertion) at 498 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 503 in *Customize Option: Isar X Symbol Enable*>)) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) (mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-apply((custom-magic :args (nil) :parent (custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic #0 :buttons (... ... ... #0 ... ...) :comment-widget (custom-comment :parent #1 :value "" :indent 0 :from #<marker at 818 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 818 in *Customize Option: Isar X Symbol Enable*>) :children (... ...) :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :indent 0 :children ((choice-item :help-echo "Change the state of this item." :format "%[%t%]" :button-prefix widget-push-button-prefix :button-suffix widget-push-button-suffix :mouse-down-action widget-magic-mouse-down-action :tag "State" :parent #0 :indent 0 :button-overlay #<overlay from 498 to 503 in *Customize Option: Isar X Symbol Enable*> :from #<marker (b!
 efore-insertion) at 498 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 503 in *Customize Option: Isar X Symbol Enable*>)) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :action (mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-parent-action((choice-item :help-echo "Change the state of this item." :format "%[%t%]" :button-prefix widget-push-button-prefix :button-suffix widget-push-button-suffix :mouse-down-action widget-magic-mouse-down-action :tag "State" :parent (custom-magic :args (nil) :parent (custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic #1 :buttons ... :comment-widget ... :children ... :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :indent 0 :button-overlay #<overlay in no buffer> :from #<marker (before-insertion) in no buffer> :to #<marker in no buffer>) (mous!
 e-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-apply((choice-item :help-echo "Change the state of this item." :format "%[%t%]" :button-prefix widget-push-button-prefix :button-suffix widget-push-button-suffix :mouse-down-action widget-magic-mouse-down-action :tag "State" :parent (custom-magic :args (nil) :parent (custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic #1 :buttons ... :comment-widget ... :children ... :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :indent 0 :button-overlay #<overlay in no buffer> :from #<marker (before-insertion) in no buffer> :to #<marker in no buffer>) :action (mous!
 e-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-apply-action((choice-item :help-echo "Change the state of this item." :format "%[%t%]" :button-prefix widget-push-button-prefix :button-suffix widget-push-button-suffix :mouse-down-action widget-magic-mouse-down-action :tag "State" :parent (custom-magic :args (nil) :parent (custom-variable :documentation-shown t :custom-state modified :tag "Isar X Symbol Enable" :value isar-x-symbol-enable :custom-form edit :custom-magic #1 :buttons ... :comment-widget ... :children ... :from #<marker (before-insertion) at 447 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 873 in *Customize Option: Isar X Symbol Enable*> :comment-shown nil) :indent 0 :children (...) :from #<marker (before-insertion) at 495 in *Customize Option: Isar X Symbol Enable*> :to #<marker at 573 in *Customize Option: Isar X Symbol Enable*> :buttons nil :value nil) :indent 0 :button-overlay #<overlay in no buffer> :from #<marker (before-insertion) in no buffer> :to #<marker in no buffer>) (mouse!
 -1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  widget-button-click((mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  Custom-move-and-invoke((mouse-1 (#<window 3 on *Customize Option: Isar X Symbol Enable*> 502 (53 . 173) 6440351)))
  call-interactively(Custom-move-and-invoke)

I suspect this is simply a mismatch between versions of proofgeneral and x-symbol
in the distribution.  If so, I think proofgeneral should depend on x-symbol
(even if some functionality in proofgeneral is available without x-symbol),
and specify the version of x-symbol needed.


itz@unicorn:/tmp$ dpkg --status x-symbol
Package: x-symbol
Status: install ok installed
Priority: optional
Section: editors
Installed-Size: 1248
Maintainer: Steve Dunham <dunham@debian.org>
Architecture: all
Version: 4.43-5
Depends: debconf (>= 1.2.14), xutils, xemacs21 (>= 21.1.9) | emacs21
Recommends: xfonts-intl-european
Suggests: imagemagick
Conffiles:
 /etc/emacs/site-start.d/50x-symbol.el aaa22eb19cc3c3be19e823c54444e0f4
Description: WYSIWYG TeX mode for XEmacs
 This is a WYSIWYG TeX add-on for [X]Emacs21.  It shows math symbols,
 sub/super-scripts via special fonts, and figures via imagemagick.
 Emacs21 support is still BETA.

itz@unicorn:/tmp$ dpkg --status emacs21
Package: emacs21
Status: install ok installed
Priority: optional
Section: editors
Installed-Size: 5854
Maintainer: Rob Browning <rlb@defaultvalue.org>
Architecture: i386
Version: 21.3+1-5
Replaces: emacs21-nox
Provides: emacsen, editor, info-browser, mail-reader, news-reader, www-browser
Depends: emacs21-bin-common (= 21.3+1-5), libc6 (>= 2.3.2.ds1-4), libice6 | xlibs (>> 4.1.0), libjpeg62, libncurses5 (>= 5.4-1), libpng12-0 (>= 1.2.5.0-4), libsm6 | xlibs (>> 4.1.0), libtiff3g, libungif4g (>= 4.1.0b1), libx11-6 | xlibs (>> 4.1.0), libxext6 | xlibs (>> 4.1.0), libxmu6 | xlibs (>> 4.1.0), libxpm4 | xlibs (>> 4.1.0), libxt6 | xlibs (>> 4.1.0), xaw3dg (>= 1.5+E-1), zlib1g (>= 1:1.2.1)
Conflicts: emacs21-nox, w3-el
Description: The GNU Emacs editor
 GNU Emacs is the extensible self-documenting text editor.


-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.26-2custom1+lowlatency
Locale: LANG=C, LC_CTYPE=C

Versions of packages proofgeneral-misc depends on:
ii  proofgeneral                  3.4-14     A generic interface for proof assi

-- no debconf information

--- End Message ---
--- Begin Message --- 
Source: proofgeneral
Source-Version: 4.2~pre120112-1

We believe that the bug you reported is fixed in the latest version of
proofgeneral, which is due to be installed in the Debian FTP archive:

proofgeneral-doc_4.2~pre120112-1_all.deb
  to main/p/proofgeneral/proofgeneral-doc_4.2~pre120112-1_all.deb
proofgeneral_4.2~pre120112-1.debian.tar.gz
  to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.debian.tar.gz
proofgeneral_4.2~pre120112-1.dsc
  to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.dsc
proofgeneral_4.2~pre120112-1_all.deb
  to main/p/proofgeneral/proofgeneral_4.2~pre120112-1_all.deb
proofgeneral_4.2~pre120112.orig.tar.gz
  to main/p/proofgeneral/proofgeneral_4.2~pre120112.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 252721@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Hendrik Tews <hendrik@askra.de> (supplier of updated proofgeneral package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 12 Jan 2012 21:15:51 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120112-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews <hendrik@askra.de>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description: 
 proofgeneral - generic frontend for proof assistants
 proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 252721 452824 520566 554263 613779 626589
Changes: 
 proofgeneral (4.2~pre120112-1) unstable; urgency=low
 .
   * adopting proofgeneral (Closes: #554263)
   * restart packaging from scratch (Closes: #626589)
     This new Proof General package has not much in common with the old
     one:
     - source package format 3.0 (quilt)
     - only two binary packages: proofgeneral and proofgeneral-doc
     - no support for Isabelle/Hol or Isar, because Isabelle is packaged
       with its own custom version of Proof General (Closes: #252721)
     - no support for minlog because it is not present upstream
       (Closes: #613779)
     - support only Coq and PhoX
     - no debconf, proofgeneral is always installed site-wide (Closes: #452824)
     - only support emacs23, because upstream only supports emacs23
       (Closes: #520566)
     The old changelog file is appended below.
Checksums-Sha1: 
 4e21c2363c6a2f8fbc1e1ae186446e225f702b67 1959 proofgeneral_4.2~pre120112-1.dsc
 db08bd955247dbe2375c8c45008b9248f9c88e0c 942334 proofgeneral_4.2~pre120112.orig.tar.gz
 2261d2ad51460fe101d302dfac9fb34a92e46241 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz
 bc16f4d7ccece0de53add1e117dfab22ecea3414 446116 proofgeneral_4.2~pre120112-1_all.deb
 2b5ea2476e75dd46325c74cb3cdc6a28c215b72b 675826 proofgeneral-doc_4.2~pre120112-1_all.deb
Checksums-Sha256: 
 0bd78c12990414b6457f88b9fc73ed396028e92edb2fb3fec9ce3a945fdff07d 1959 proofgeneral_4.2~pre120112-1.dsc
 33774795c586bf5df8308e46400d19713aeb03fef9e8d26f2b7a22e4a16fda8e 942334 proofgeneral_4.2~pre120112.orig.tar.gz
 32bf850a473f88f97e35e1e305bb2e34816e686de4685246efd3819bf18b9fb1 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz
 612dc5585545f89b88a8ca83efab694240a9c8ebbc1578f0b6c1c7aeaff76c51 446116 proofgeneral_4.2~pre120112-1_all.deb
 0ddb23a2c172f2a10df34b5f0417ec02e47a6ce4ed28259061d2c87f15d8b764 675826 proofgeneral-doc_4.2~pre120112-1_all.deb
Files: 
 5a5fe5c8b0f1abb72f816dc65db4ff43 1959 science optional proofgeneral_4.2~pre120112-1.dsc
 dd01a5c2b1c53dc4ee099c01a018c188 942334 science optional proofgeneral_4.2~pre120112.orig.tar.gz
 0cb4cfa7fa9982e43c892a235c075a8d 18685 science optional proofgeneral_4.2~pre120112-1.debian.tar.gz
 5b767a119e85ffdac5e5763892630bba 446116 science optional proofgeneral_4.2~pre120112-1_all.deb
 f0ee4c616a9f4e24f2d1f76bc975c338 675826 doc optional proofgeneral-doc_4.2~pre120112-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJPD+amAAoJEHhT2k1JiBrTlP8P/RC5ImjNB1WJhs1SuiXzkMz3
+/6sqxNGntql8DOekacMdwPbFHi9Fr1FKVNgAKUL0OLyGeBRRmJSdxkoUpWHFvnC
mwTvmCGr9gzsiSTUQeILd4pCEM6/uZdeLBLGwJqpP04IUZv+RkkP8CJYTSQWZ4g1
16czWJmUB/W6GyJqpzS7iZGucTtRjIRrCqI4CxOzH9eOf82PAYypoaAsjyRxpkU5
PQgFeRVzBxcxZPNVeXPyUN/HVt0Vr8CXSgoTCWq4U9RJYJa2Nao+VxdBjj/pGtXa
qfp8LKn9gnGaHKlb3L5NHCn/8AlxiSs5oHWvkDPAj5cYevU4hXSjxNrjDFUKTmvU
aJTnDksLt1TbB+aWFj+/CrXh0DfZTEozh3F7BzzbbpJG+oAzb8SXe6URG1+6Gici
eXH7SZ9JfEnKTpy2ZJE2Nz7r8D507R+/HRV3a68spX1D/TS3H4/HmN5IHfZ7G1gg
1Gt0S08d59rYnUn9ABjdACA6LgpSdGt+zI4oHN/L1pFSWkcTGEnTaHN+nQq+OdWp
rfGNyA52EmrqZei+MQThQ6Zp1EVKFE7eZXEf7a6bu8Md3PL4k17yWqvtRzs77swr
4J1ciaMAWT51Wmyrmx+lEuuY0SDNAenWcIEwVqqacgW9jW7cNhcRrC23gdZ7WG7s
bWrTDaQLXV6udgXfQHlO
=dDS+
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: