HomeIsabelle/Phabricator

more thorough extend/merge, notably for master_dir across Theory.join_theory (e.

Authored by makarius.

Description

more thorough extend/merge, notably for master_dir across Theory.join_theory (e.g. for file antiquotation);

Details

Committed
makariusThu, Jul 16, 2:36 PM
Parents
rISABELLEefd169aed4dc: more robust: avoid potential problems with encoding of directory name;
Branches
Unknown
Tags
Unknown