• MARCHE Claude's avatar
    cosmetic changes · 9a43c12a
    MARCHE Claude authored
    - do not erase Isabelle's XML files even in local mode
    
    - use realization*s* with an s everywhere
    9a43c12a
Makefile.in 70.2 KB