Diffusion Isabelle 56247fdb8bbb

discontinued old-style {* verbatim *} tokens;
56247fdb8bbb
Actions

Tags

None

Subscribers

None

Description

discontinued old-style {* verbatim *} tokens;

Details

Provenance

Authored on

Parents

rISABELLEfa5476c54731: tuned proof;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE56247fdb8bbb: discontinued old-style {* verbatim *} tokens;.Dec 6 2021, 3:34 PM

Changes (27)

Path

Size

lib/

texinputs/

src/

Doc/

Isar_Ref/

Outer_Syntax.thy

Tutorial/

ToyList/

HOL/

Bali/

Eisbach/

match_method.ML

Pure/

General/

Isar/

PIDE/

rendering.scala

Thy/

document_antiquotations.ML

document_output.ML

Tools/

update_cartouches.scala

update_comments.scala

Tools/

Code/

jEdit/

src/

jedit_rendering.scala

rISABELLE56247fdb8bbb

NEWS

Loading...

lib/texinputs/isabelle.sty

Loading...

src/Doc/Isar_Ref/Outer_Syntax.thy

Loading...

src/Doc/Tutorial/ToyList/ToyList.thy

Loading...

src/HOL/Bali/Term.thy

Loading...

src/HOL/Eisbach/match_method.ML

Loading...

src/Pure/General/scan.scala

Loading...

src/Pure/Isar/args.ML

Loading...

src/Pure/Isar/method.ML

Loading...

src/Pure/Isar/parse.ML

Loading...

src/Pure/Isar/parse.scala

Loading...

src/Pure/Isar/token.ML

Loading...

src/Pure/Isar/token.scala

Loading...

src/Pure/PIDE/command.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/PIDE/rendering.scala

Loading...

src/Pure/Pure.thy

Loading...

src/Pure/Thy/bibtex.ML

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...

src/Pure/Thy/document_output.ML

Loading...

src/Pure/Thy/sessions.ML

Loading...

src/Pure/Thy/thy_header.ML

Loading...

src/Pure/Tools/rail.ML

Loading...

src/Pure/Tools/update_cartouches.scala

Loading...

src/Pure/Tools/update_comments.scala

Loading...

src/Tools/Code/code_target.ML

Loading...

src/Tools/jEdit/src/jedit_rendering.scala

Loading...