HomeIsabelle/Phabricator
Diffusion afp-devel 12de1f883dc0

tuned efficiency of XML parser
12de1f883dc0
Actions

Description

tuned efficiency of XML parser

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPae47c479a7c4: tuned
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP12de1f883dc0: tuned efficiency of XML parser.Jun 29 2022, 7:36 PM

Changes (1)

PathSize
thys/
XML/

rAFP12de1f883dc0

View Options

thys/XML/Xml.thy

Loading...