Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (31 - 33 of 361)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Ticket Resolution Summary Owner Reporter
#7 fixed Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. Graham Dutton anonymous
Description

The Proof Explorer view needs to inherit more of the functionality of the Project Explorer, including decoration and extra menus.

#8 fixed Cleanup active script handling in actions David Aspinall anonymous
Description

Active script switching needs overhaul. Switching should be managed in UI actions and treated as part of protocol for correct use of SessionManager. SessionManager may throw exceptions if actions are tried on inactive scripts. Activity switching is carefully controlled.

#214 fixed Processing of buffer sensitive to Unicode option David Aspinall Clemens Ballarin
Description

Issue where processing a buffer with Isabelle works if Unicode Tokens option disabled, but fails if enabled. The problem appears to be related to sub/superscripts.

Problem manifests with file "HOL/Algebra/Group.thy" from Isabelle repository. Error message

* Illegal reference to implicit structure #1 * The error(s) above occurred in axiom "nat_pow_def" * At command "defs".

when attempting to process line 35.

The following configuration was used:

GNU Emacs 22.2.1 (i386-apple-darwin8.11.1, Carbon Version 1.6.0) of 2008-04-02 on seijiz.local

Proof General cvs of 7 July 2008

Isabelle cvs of 7 Jully 2008

-- Clemens

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Note: See TracQuery for help on using queries.