#125 (Mar 21, 2016, 9:20:48 PM)

1. Fixed for renamed theorems, etc. (detail / hgweb)
2. rename and simplify (detail / hgweb)
3. repair the optimization on chars when generating a deep-certificate (detail / hgweb)
4. merge from afp-2016 (detail / hgweb)
5. point to bitbucket instead of SF (detail / hgweb)
6. merge from afp-2016 (detail / hgweb)
7. new submission system (detail / hgweb)
8. new submission system (detail / hgweb)
9. merged (detail / hgweb)
10. missing AFP (detail / hgweb)
11. PropResPI webpage (detail / hgweb)
12. new entry PropResPI (detail / hgweb)
13. new article Timed-Automata (detail / hgweb)
14. tuned (detail / hgweb)
15. new entry Cartan_FP (detail / hgweb)
16. New entry LTL (detail / hgweb)
17. update links to older (2015) releases (detail / hgweb)
18. added missing List_Update entry page (detail / hgweb)
19. import List_Update from afp-devel (detail / hgweb)
20. record 2015 releases, bump Isabelle version to 2016 (detail / hgweb)
21. website to release mode (afp-2016) (detail / hgweb)
22. unified CHAR with CHR syntax (detail / hgweb)
23. adapted to recent Multiset change (detail / hgweb)

Started by user Administrative User