
isabelle.in.tum.de/repos/isabelle/atom-log
Preview meta tags from the isabelle.in.tum.de website.
General Meta Tags
11- titleisabelle Changelog
- title[default] clarified code setup
- titlemoved / rearranged lemma
- titleeliminate code drop: declarations where none needed
- titleinternal setting to identify pointless code drop: declarations
Link Tags
12- alternatehttps://isabelle.in.tum.de/repos/isabelle/
- selfhttps://isabelle.in.tum.de/repos/isabelle/atom-log
- linkhttps://isabelle.in.tum.de/repos/isabelle/rev/99a720d3ed8f
- linkhttps://isabelle.in.tum.de/repos/isabelle/rev/04e7c2566f7e
- linkhttps://isabelle.in.tum.de/repos/isabelle/rev/bd3685e5f883