patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE0fc0ed9a3ad7: fit into vscode source conventions;
- Branches
- Unknown
- Tags
patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet; Tags None Subscribers None |