HomeIsabelle/Phabricator

afford unconditional presentation, notably export_theory and present_thy…

Description

afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
typical timings for big theories in HOL-Analysis: Export.make_entry < 10ms, Document_Output.present_thy < 150ms;

Details

Provenance
makariusAuthored on
Parents
rISABELLEf65bb0ecc7e7: proper executable files for Windows;
Branches
Unknown
Tags
Unknown