equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
|
9 * July 2012: Makarius Wenzel, Université Paris-Sud / LRI |
|
10 Advanced support for Isabelle sessions and build management, notably |
|
11 "isabelle build". |
|
12 |
9 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
13 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA |
10 Simproc for rewriting set comprehensions into pointfree expressions |
14 Simproc for rewriting set comprehensions into pointfree expressions. |
11 |
15 |
12 |
16 |
13 Contributions to Isabelle2012 |
17 Contributions to Isabelle2012 |
14 ----------------------------- |
18 ----------------------------- |
15 |
19 |