src/Pure/Admin/afp.scala
2 months ago wenzelm 2019-03-25 more strict AFP properties;
2 months ago wenzelm 2019-03-25 tuned signature;
2 months ago wenzelm 2019-03-25 clarified signature;
2 months ago wenzelm 2019-03-25 proper treatment of empty extra lines (amending 98a440cfbb2b);
2 months ago wenzelm 2019-03-25 clarified signature: explicitly typed interfaces;
2 months ago wenzelm 2019-03-25 provide maintainers as seen in AFP/admin; suppress empty properties;
2 months ago wenzelm 2019-03-25 tuned;
2 months ago wenzelm 2019-03-25 tuned signature;
2 months ago wenzelm 2019-03-25 read AFP metadata for entries;
3 months ago wenzelm 2019-02-04 clarified URL -- avoid odd certificate problem with api.media.atlassian.com;
4 months ago wenzelm 2019-01-19 more official AFP.groups; clarified bulky sessions;
14 months ago wenzelm 2018-03-11 clarified AFP partitioning;
14 months ago wenzelm 2018-03-10 more balanced AFP partitioning;
14 months ago wenzelm 2018-03-08 more balanced AFP partitioning;
14 months ago wenzelm 2018-03-06 more balanced AFP partitioning;
18 months ago wenzelm 2017-11-12 tuned signature;
18 months ago wenzelm 2017-11-07 tuned signature;
18 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
19 months ago wenzelm 2017-10-14 partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
19 months ago wenzelm 2017-10-13 tuned;
19 months ago wenzelm 2017-10-12 entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
19 months ago wenzelm 2017-10-10 cycle check with informative error;
19 months ago wenzelm 2017-10-10 tuned: each session has at most one defining entry;
19 months ago wenzelm 2017-10-09 tuned: less oo-non-sense;
19 months ago wenzelm 2017-10-09 operations for graph display;
19 months ago wenzelm 2017-10-09 dependencies of entries vs. sessions; json output like "isabelle afp_dependencies"; misc tuning;
19 months ago wenzelm 2017-10-09 some administrative support for AFP;