Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified directory layout and settings: more robust on all platforms;
  3. tuned;
  4. support Electron application framework; clarified vscodium startup;
  5. generated lemma map_ident_strong for BNFs
Changeset 75280:b9dde91f9106 by wenzelm:
merged
Changeset 75279:9229f2681db7 by wenzelm:
clarified directory layout and settings: more robust on all platforms;
The file was modified lib/Tools/electron (diff)
The file was modified lib/Tools/vscode (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/patches/cli.patch (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75278:249fde3aacbf by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75277:f64725832d63 by wenzelm:
support Electron application framework;<br>clarified vscodium startup;
The file was addedlib/Tools/electron
The file was addedsrc/Tools/VSCode/patches/cli.patch
The file was modified lib/Tools/vscode (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75276:686a6d7d0991 by desharna:
generated lemma map_ident_strong for BNFs
The file was modified NEWS (diff)
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_def_tactics.ML (diff)