Timeline
Nov 16, 2009:
- 5:48 PM Ticket #299 (Out of sync with Isabelle) closed by
- needmoreinfo
- 5:48 PM Ticket #305 (High overhead) closed by
- needmoreinfo: This generally shouldn't be the case, but it depends on the …
Nov 12, 2009:
- 1:43 PM Ticket #305 (High overhead) created by
- When processing larger portions (thousands of lines) of a Isabelle …
- 10:35 AM Ticket #304 (Isabelle: trying to undo a step fails for me) closed by
- invalid: Actually, nevermind, turns out our version of Isabelle doesn't have …
- 10:24 AM Ticket #304 (Isabelle: trying to undo a step fails for me) created by
- I am uncertain if my version of Isabelle is to blame (i.e. not …
Nov 11, 2009:
- 10:45 AM Ticket #303 (underlining on error sucks) created by
- While others may report more fundamental problems, here is another …
Nov 6, 2009:
- 11:38 PM Ticket #301 (Ubuntu 9.10: PG menus broken) closed by
- invalid: Confirmed, at least for Emacs 22. For goodness sake, how on earth did …
- 11:26 PM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) closed by
- invalid: Thanks for reporting but I'm sorry, I can't find the dependency that …
- 3:06 AM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) created by
- On Ubuntu 9.10, the emacs23 package does not include hilit19.el, which …
Nov 5, 2009:
- 2:26 PM Ticket #301 (Ubuntu 9.10: PG menus broken) created by
- On Ubuntu 9.10 with Emacs 22 or 23, the PG specific menus are broken …
- 2:22 PM Ticket #300 (Emacs 22: strange keyword categorization) created by
- This is Ubuntu 9.10 with GNU Emacs 22 (Gtk). Somehow the keyword …
Oct 21, 2009:
- 9:22 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) reopened by
- In the old protocol with non-linear undo, it worked via the …
Oct 19, 2009:
- 9:41 AM Ticket #299 (Out of sync with Isabelle) created by
- When working within Isar proofs ProofGeneral and Isabelle get out of …
Oct 16, 2009:
- 5:49 PM Ticket #298 (Isabelle indentation) created by
- The automatic indentation for Isar proofs has some problems: …
- 12:47 PM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) closed by
- fixed: Many thanks for the patch, have added in CVS now.
- 8:14 AM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) created by
- I'm glad to see that support for finding the lisp files relative to …
- 6:32 AM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") created by
- If I type the following complete garbage and press "C-c C-RET" at the …
Oct 5, 2009:
- 6:55 PM Ticket #295 (Undo on edit in ML-sections) created by
- It appears that undo-on-edit does not work when editing within an ML …
- 1:20 PM Ticket #293 (Synchronisation losses with undo-on-edit) closed by
- fixed: Thanks for follow-up. Assuming you only lose key-presses in the case …
Oct 3, 2009:
- 6:36 PM Ticket #294 (Make pg-protected-undo allow in undo in comments of locked region) created by
- Editing is allowed in comments inside the locked region, but the …
Oct 2, 2009:
- 11:20 AM Ticket #293 (Synchronisation losses with undo-on-edit) created by
- The following behaviour makes the setting "PG -> Quick Options -> Read …
Sep 27, 2009:
- 12:58 AM Ticket #291 (3-Panel-mode: Strange buffer switch when loading a theory) closed by
- fixed: Fixed in CVS. Thanks for the report. The code tried to do something …
Sep 26, 2009:
- 2:02 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) closed by
- fixed: Thanks for the report. Assume you are using Isabelle with the new …
Sep 25, 2009:
- 3:37 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) created by
- in 4.0pre090921 under GNU Emacs 23.1.1 at these commands, the goal …
Sep 23, 2009:
- 3:20 PM Ticket #291 (3-Panel-mode: Strange buffer switch when loading a theory) created by
- Steps to reproduce: 1. Proof General -> Quick Options -> Display -> …
Sep 21, 2009:
- 3:03 PM Ticket #281 (Odd unicode abbreviations, notably |>) closed by
- fixed: Moved to #290.
- 3:03 PM Ticket #290 (Undo and delete for token input don't behave as expected) created by
- Ordinary undo with token input does not behave as the user might …
- 3:00 PM Ticket #227 (Recover active scripting modeline indicator) closed by
- fixed: Actually, this seems fine really. Now it is pink.
- 2:57 PM Ticket #285 (byte compilation) closed by
- fixed: Byte compilation should be working now. The distribution now includes …
Sep 20, 2009:
- 9:22 PM Ticket #289 (Drawback of command wrapping in PG+Isar) closed by
- fixed: Fixed in proof-script.el 10.44, which makes …
- 9:16 PM Ticket #289 (Drawback of command wrapping in PG+Isar) reopened by
Sep 17, 2009:
- 8:48 AM Ticket #289 (Drawback of command wrapping in PG+Isar) closed by
- invalid: [Followup from Makarius]: I have already noticed that the …
Sep 16, 2009:
- 4:56 PM Ticket #289 (Drawback of command wrapping in PG+Isar) created by
- [message from Lucas Dixon] (PG: 4.0pre090916) I used to sprinkle …
Sep 14, 2009:
- 9:22 AM Ticket #288 (Splash screen misbehaves) created by
- This is just a note that the splash screen (simplified to use built in …
- 9:16 AM Ticket #170 (Improve outline syntax for Isar) closed by
- fixed: Level support now added for GNU Emacs, using `outline-heading-list'. …
Sep 11, 2009:
- 1:31 AM Ticket #287 (Script management flaws) created by
- Some of the script management code has been generalised and (for …
- 1:28 AM Ticket #278 (Resolve pointer-movement issues during script management) closed by
- fixed: This is satisfactory for now. There is still a small glitch where the …
- 1:23 AM Ticket #284 (proof-process-buffer very slow) closed by
- fixed: The main reason turned out to be an experiment with …
Sep 9, 2009:
- 7:39 PM Ticket #258 (Copying from response buffer also copies colour control chars) closed by
- fixed: This has been fixed in CVS now (since about May this year, actually).
- 12:51 PM Ticket #286 (PG startup crash) closed by
- fixed: Thanks. I have added a compatibility patch for this but notice from …
Sep 7, 2009:
- 11:18 PM Ticket #286 (PG startup crash) created by
- GNU Emacs 22.1.1, Ubuntu 8.04 LTS. PG startup crashes: {{{File mode …
Sep 4, 2009:
- 5:00 PM Ticket #285 (byte compilation) created by
- GNU Emacs 23.1.1 on Mac OS, Proof General 4.0pre090902 (or CVS …
- 12:22 PM Ticket #191 (Code cleanup: remove proof-no-command) closed by
- fixed: Have fixed now in script code refactoring.
- 12:21 PM Ticket #191 (Code cleanup: remove proof-no-command) reopened by
- 12:20 PM WikiStart edited by
- (diff)
- 12:19 PM WikiStart edited by
- (diff)
- 12:17 PM WikiStart edited by
- (diff)
Sep 3, 2009:
- 10:07 AM Ticket #282 (Emacs 23.1.1 on Mac OS: no toolbar) closed by
- invalid: Not a PG issue, seems to be an option in the Mac OS X port. You can …
- 9:54 AM Ticket #283 (assert command etc.: strange movement of point) closed by
- duplicate: Known, but thanks. See #278
Sep 2, 2009:
- 3:53 PM Ticket #284 (proof-process-buffer very slow) created by
- GMU Emacs 23.1.1, Mac OS. Asserting a whole buffer via …
- 3:37 PM Ticket #283 (assert command etc.: strange movement of point) created by
- GNU Emacs 23.1.1, Mac OS. The point movement after asserting commands …
- 1:16 PM Ticket #282 (Emacs 23.1.1 on Mac OS: no toolbar) created by
- The PG tool seems to be missing on this platform.
- 11:32 AM Ticket #281 (Odd unicode abbreviations, notably |>) created by
- In isar-symbol-shortcuts there are some odd abbreviations, notably …
Aug 31, 2009:
- 9:42 PM Ticket #280 (Unicode Tokens: cleanups) created by
- Final 4.0 cleanups: * choice of default fonts: see if can get …
- 4:57 PM Ticket #274 (Max lisp nesting exceeded on large error outputs) closed by
- fixed: I've fixed, `isar-remove-line' was not recursing indefinitely, but was …
- 2:24 PM Ticket #211 (Coq : deactivation of the 'Holes' functionality) closed by
- fixed: The patch seems ok to me. holes completion in abbreviations is now …
- 9:58 AM Ticket #279 (Proof visibility controls broken) created by
- With additional spans in the buffer the individual visibility control …
- 9:56 AM Ticket #277 (span start vs. command start) closed by
- fixed: Thanks for report. Fixed now but see #278.
- 9:56 AM Ticket #278 (Resolve pointer-movement issues during script management) created by
- Pointer movement control cleanup is in progress, at the moment there …
Aug 28, 2009:
- 9:42 PM Ticket #277 (span start vs. command start) created by
- GNU Emacs 22.1.1, Ubuntu 8.04 LTS, Isabelle2009. The span passed to …
- 12:13 PM Ticket #276 (Unicode tokens: resolve font-lock issues, optimise) created by
- Unicode tokens interacts closely with font lock but there was a …
Note: See TracTimeline
for information about the timeline view.