equal
deleted
inserted
replaced
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |
9 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |
10 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
10 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
|
11 |
|
12 * Fall 2012: Steffen Smolka, TUM |
|
13 Various improvements to Sledgehammer's Isar proof generator, including |
|
14 a smart type annotation algorithm and proof shrinking. |
11 |
15 |
12 * November 2012: Fabian Immler, TUM |
16 * November 2012: Fabian Immler, TUM |
13 "Symbols" dockable for Isabelle/jEdit. |
17 "Symbols" dockable for Isabelle/jEdit. |
14 |
18 |
15 * November 2012: Fabian Immler, TUM |
19 * November 2012: Fabian Immler, TUM |