enable Tramp support for Emacs 26 or later - #569

Open

hendriktews wants to merge 6 commits into

ProofGeneral:masterfrom

hendriktews:tramp

Commits on Apr 1, 2021

improve test documentation and fix some line numbers
hendriktews
committed
d05b614
add test for default-directory
hendriktews
committed
3285f0c
Fix default-directory problem in background compilation
hendriktews
committed
95caa6f

Commits on Apr 4, 2021

extend default-directory test to second stage
hendriktews
committed
b307653

Commits on Apr 5, 2021

fix default directory problem for second stage start
hendriktews
committed
e782e64

Commits on Apr 7, 2021

enable compilation for remote files via tramp
hendriktews
committed
70ff037