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 -50 -24 +24 +50 +100 +300 +1000 +3000 tip

clarified options of "isabelle hg_sync" vs. "isabelle sync";
2022-06-13, by wenzelm
tuned layout;
2022-06-13, by wenzelm
misc tuning;
2022-06-13, by wenzelm
clarified document structure;
2022-06-13, by wenzelm
promote "isabelle sync" to regular user-space tool, with proper documentation;
2022-06-11, by wenzelm
more comments;
2022-06-11, by wenzelm
more options;
2022-06-10, by wenzelm
sync session images, based on accidental local state;
2022-06-10, by wenzelm
more informative release_snapshot, to see better where the cronjob fails;
2022-06-10, by wenzelm
more robust, notably for crontab;
2022-06-10, by wenzelm
clarified names;
2022-06-10, by wenzelm
tuned;
2022-06-10, by wenzelm
tuned;
2022-06-09, by wenzelm
proper make_port for regular situation;
2022-06-09, by wenzelm
clarified types -- proper default_port via make_port;
2022-06-09, by wenzelm
proper nominal_port, notably for port forwarding;
2022-06-08, by wenzelm
some additional lemmas and a little tidying up
2022-06-08, by paulson
merged
2022-06-08, by desharna
added lemma totalp_on_total_on_eq[pred_set_conv]
2022-06-04, by desharna
added lemma reflp_on_empty[simp] and totalp_on_empty[simp]
2022-06-04, by desharna
removed non-standard spaces in output
2022-06-08, by nipkow
merged
2022-06-07, by wenzelm
avoid noise via context.progress (amending 68162e4f60a7);
2022-06-07, by wenzelm
more robust treatment of rsync on macOS (see also 96fb1f9a4042);
2022-06-07, by wenzelm

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

isabelle