Changes between Initial Version and Version 3 of Ticket #324


Ignore:
Timestamp:
Aug 4, 2010, 12:53:46 AM (14 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #324

    • Property Status changed from new to reopened
    • Property Summary changed from Script manament very slow on some platforms to Script management very slow on some platforms

  • Ticket #324 – Description

    initial v3  
    1 Script management seems to be quite slow on some platforms / Emacs versions.  The following timings are without "Full annotations" (because intermediate goal state output can slowdown things even more), and without by-compilation.
     1Script management seems to be quite slow on some platforms / Emacs versions.  The following timings are without "Full annotations" (because intermediate goal state output can slowdown things even more), and without byte-compilation.
    22
    33Here are some timings for {{{etc/isar/AHundredTheorems.thy}}} that are really slow: