Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Available Reports
New Custom Query
{12} Newest Tickets
(20 matches)
Max items per page
20 Newest Tickets.
Ticket
Summary
Component
Version
Milestone
Type
Owner
Status
Created
#354
synchronisation lost with "process rest" and "undo"
1:pg-eclipse
defect
David Aspinall
new
Sep 14, 2010
#353
"undo last proof command" does not work at the end of theory
1:pg-eclipse
defect
David Aspinall
new
Sep 14, 2010
#259
Parsing Failure at ends of files
1:pg-eclipse
defect
Graham Dutton
closed
Nov 19, 2008
#256
Use prover-specific Preference Initialisers
1:pg-eclipse
defect
David Aspinall
new
Oct 2, 2008
#255
Refactor concurrency handling for document
1:pg-eclipse
defect
David Aspinall
new
Sep 15, 2008
#253
Refactor to allow more converter objects, investigate conversion mechanisms
1:pg-eclipse
defect
David Aspinall
closed
Sep 11, 2008
#252
Tune script management markers
1:pg-eclipse
defect
David Aspinall
new
Sep 8, 2008
#251
Exception in editor startup
1:pg-eclipse
defect
David Aspinall
new
Sep 6, 2008
#250
Interrupt causes document inconsistency
1:pg-eclipse
defect
David Aspinall
assigned
Sep 5, 2008
#249
Script management error for locales; undo action failure should not generate markers
1:pg-eclipse
David Aspinall
assigned
Sep 4, 2008
#248
Clear error markers at correct points (e.g., when processing text successfully)
1:pg-eclipse
Graham Dutton
closed
Sep 4, 2008
#247
Proof Objects view (IdView) is broken
1:pg-eclipse
defect
David Aspinall
new
Sep 4, 2008
#246
Fix ProofScriptDocument partitionChangeBroadcast
1:pg-eclipse
defect
David Aspinall
new
Sep 4, 2008
#245
Script management: parsing protocol error
1:pg-eclipse
David Aspinall
closed
Sep 3, 2008
#244
Comical giant icons in outline view
1:pg-eclipse
defect
Graham Dutton
assigned
Sep 1, 2008
#243
Parsing errors: whitespace lost in parseresult
1:pg-eclipse
defect
David Aspinall
new
Aug 31, 2008
#242
Fix intro configuration (welcome page)
1:pg-eclipse
enhancement
Graham Dutton
closed
Aug 25, 2008
#241
Fix link parse and undo for <whitespace> elements.
1:pg-eclipse
David Aspinall
closed
Aug 18, 2008
#240
Bad behaviour in startup when proof executables (isabelle, isatool) not found
1:pg-eclipse
defect
Graham Dutton
assigned
Aug 15, 2008
#239
Remove reliance on dom4j
1:pg-eclipse
enhancement
David Aspinall
new
Aug 14, 2008
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query