[isabelle-dev] https://isabelle.in.tum.de/components is down

Makarius makarius at sketis.net
Sun Nov 1 18:26:00 CET 2020

Previous message (by thread): [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives
Next message (by thread): [isabelle-dev] A proposal for the website
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Just a quick reaction to a problem at TUM on Sunday evening:

https://isabelle-dev.sketis.net/rISABELLE97f12d2c8bf2c735c02f63728855c63e8d12b9ee


	Makarius

Previous message (by thread): [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives
Next message (by thread): [isabelle-dev] A proposal for the website
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list