Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Isabelle_C
ROOT
Find file
Blame
History
Permalink
avoid symblinks --- make it work on Windows;
· 3f8b18dd1a65
wenzelm
authored
Mar 30, 2021
3f8b18dd1a65