When having a look at the current mira settings, I found that they are outdated such that fundamental problems arise (contrib vs. old contrib_devel etc.)
I have taken this opportunity to update the settings templates accordingly: http://isabelle.in.tum.de/repos/mira/rev/31618654f939 I leave it to somebody with administrative access at TUM to translate these settings to all the concrete mira instances (as documented in the config-tum repository). Maybe it is high time now to version the mira settings also in the config-tum repository and forget about the old templates entirely – which would include the commitment of all mira-involved people to mirror changes reliably into the config-tum repository, or provide them directly from there via symlinks. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
