isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 tip

tuned signature;
2022-12-28, by wenzelm
clarified modules;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned signature;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned output;
2022-12-28, by wenzelm
merged
2022-12-28, by paulson
Tidied some messy proofs
2022-12-28, by paulson
merged
2022-12-27, by wenzelm
clarified modules: avoid duplication;
2022-12-27, by wenzelm
tuned output;
2022-12-27, by wenzelm
support for generic File_Format.parse_data, with persistent result in document model;
2022-12-27, by wenzelm
omit warning: somewhat pointless and out-of-context;
2022-12-27, by wenzelm
clarified signature: avoid case class with mutable state;
2022-12-27, by wenzelm
tuned;
2022-12-27, by wenzelm
clarified signature: more explicit types;
2022-12-27, by wenzelm
merged
2022-12-27, by paulson
tidied some messy old proofs
2022-12-27, by paulson
tuned signature;
2022-12-26, by wenzelm
merged
2022-12-26, by wenzelm
tuned signature;
2022-12-26, by wenzelm
more robust;
2022-12-26, by wenzelm
clarified signature: more position information via node_name;
2022-12-26, by wenzelm
tuned signature: avoid name confusion;
2022-12-26, by wenzelm
more bibtex errors;
2022-12-26, by wenzelm
clarified signature: internalize errors (but: the parser rarely fails);
2022-12-26, by wenzelm
tuned signature;
2022-12-26, by wenzelm
clarified signature: more explicit types;
2022-12-26, by wenzelm
clarified buffer_state: not synchronized, but exclusively owned by GUI thread;
2022-12-26, by wenzelm
merged
2022-12-26, by desharna
removed old lemma names
2022-12-26, by desharna
merged
2022-12-24, by paulson
merged
2022-12-23, by paulson
A few new Sup/Inf lemmas
2022-12-22, by paulson
clarified messages;
2022-12-24, by wenzelm
tuned signature: follow terminology of VSCode_Resources;
2022-12-24, by wenzelm
tuned signature;
2022-12-23, by wenzelm
tuned signature;
2022-12-23, by wenzelm
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
2022-12-23, by wenzelm
update URL;
2022-12-23, by wenzelm
clarified signature;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
tuned;
2022-12-23, by wenzelm
clarified signature: more explicit types;
2022-12-23, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -48 +48 +100 +300 +1000 +3000 tip

isabelle