Diffusion Isabelle 3cc73d00553c

added document antiquotation @{tool};
3cc73d00553c
Actions

Tags

None

Subscribers

None

Description

added document antiquotation tool;
formal check of isabelle tools via Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLEd9a54c4c9da9: more robust isabelle_scala_files;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3cc73d00553c: added document antiquotation @{tool};.Nov 28 2020, 9:56 PM

makarius mentioned this in Blog Post: Document antiquotation for Isabelle tools.Nov 30 2020, 1:09 PM

Changes (50)

Path

Size

etc/

Doc/

System/

antiquote_setup.ML

Admin/

build_csdp.scala

build_cygwin.scala

build_doc.scala

build_fonts.scala

build_jdk.scala

build_polyml.scala

build_spass.scala

build_sqlite.scala

build_status.scala

build_verit.scala

build_zipperposition.scala

check_sources.scala

components.scala

General/

mercurial.scala

ML/

ml_process.scala

PIDE/

isabelle_tool.ML

isabelle_tool.scala

Thy/

presentation.scala

Tools/

build_docker.scala

phabricator.scala

profiling_report.scala

scala_project.scala

update_cartouches.scala

update_comments.scala

update_header.scala

update_then.scala

update_theorems.scala

Tools/

VSCode/

src/

build_vscode.scala

language_server.scala

rISABELLE3cc73d00553c

NEWS

Loading...

etc/symbols

Loading...

src/Doc/System/Base.thy

Loading...

src/Doc/antiquote_setup.ML

Loading...

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_cygwin.scala

Loading...

src/Pure/Admin/build_doc.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_fonts.scala

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/Admin/build_spass.scala

Loading...

src/Pure/Admin/build_sqlite.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/Admin/build_zipperposition.scala

Loading...

src/Pure/Admin/check_sources.scala

Loading...

src/Pure/Admin/components.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/ML/ml_process.scala

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/System/isabelle_tool.ML

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/System/options.scala

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_docker.scala

Loading...

src/Pure/Tools/doc.scala

Loading...

src/Pure/Tools/dump.scala

Loading...

src/Pure/Tools/mkroot.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...

src/Pure/Tools/profiling_report.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/Tools/update.scala

Loading...

src/Pure/Tools/update_cartouches.scala

Loading...

src/Pure/Tools/update_comments.scala

Loading...

src/Pure/Tools/update_header.scala

Loading...

src/Pure/Tools/update_then.scala

Loading...

src/Pure/Tools/update_theorems.scala

Loading...

src/Tools/VSCode/src/build_vscode.scala

Loading...

src/Tools/VSCode/src/grammar.scala

Loading...

src/Tools/VSCode/src/language_server.scala

Loading...