enable Tramp support for Emacs 26 or later#569

Open

hendriktews wants to merge 6 commits intoProofGeneral:masterfrom hendriktews:tramp

+731-111

Commits on Apr 1, 2021

Commits on Apr 4, 2021

extend default-directory test to second stage
hendriktews
committed

Commits on Apr 5, 2021

fix default directory problem for second stage start
hendriktews
committed

Commits on Apr 7, 2021

enable compilation for remote files via tramp
hendriktews
committed