Diffusion afp-devel 5284bc2e2dfb

discontinued Parse.text;
5284bc2e2dfb
Actions

Tags

None

Subscribers

None

Description

discontinued Parse.text;

Details

Provenance

Authored on

Parents

rAFP2fdd87fc6dd7: discontinued old-style {* verbatim *} tokens;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP5284bc2e2dfb: discontinued Parse.text;.Dec 6 2021, 4:40 PM

Changes (4)

Path

Size

thys/

CakeML/

Tools/

cakeml_compiler.ML

Isabelle_Meta_Model/

isabelle_home/

src/

Tools/

Code/

Isabelle_code_target.thy

Refine_Imperative_HOL/

Lib/

Named_Theorems_Rev.thy

X86_Semantics/

rAFP5284bc2e2dfb

thys/CakeML/Tools/cakeml_compiler.ML

Loading...

thys/Isabelle_Meta_Model/isabelle_home/src/Tools/Code/Isabelle_code_target.thy

Loading...

thys/Refine_Imperative_HOL/Lib/Named_Theorems_Rev.thy

Loading...

thys/X86_Semantics/X86_Parse.ML

Loading...