- Oct 02, 2016
-
-
Nicolas Voirol authored
-
- Aug 18, 2016
-
-
Nicolas Voirol authored
-
- Aug 16, 2016
-
-
Nicolas Voirol authored
-
- Aug 15, 2016
-
-
Nicolas Voirol authored
-
- Aug 12, 2016
-
-
Nicolas Voirol authored
-
- Aug 11, 2016
-
-
Regis Blanc authored
-
- Aug 09, 2016
-
-
Manos Koukoutos authored
-
- Aug 05, 2016
-
-
Manos Koukoutos authored
-
- May 12, 2016
-
-
Manos Koukoutos authored
-
- May 02, 2016
-
-
Nicolas Voirol authored
anyway)
-
- May 01, 2016
-
-
Nicolas Voirol authored
-
Mikaël Mayer authored
-
Mikaël Mayer authored
-
Mikaël Mayer authored
Corrected bug with unicode chars in the build.sbt
-
- Apr 29, 2016
-
-
Manos Koukoutos authored
-
Nicolas Voirol authored
-
- Apr 28, 2016
-
-
Mikaël Mayer authored
-
- Apr 20, 2016
-
-
Mikaël Mayer authored
-
- Apr 18, 2016
-
-
Mikaël Mayer authored
Corrected bug with unicode chars in the build.sbt
-
- Apr 07, 2016
-
-
Nicolas Voirol authored
-
- Apr 05, 2016
-
-
Manos Koukoutos authored
-
- Mar 27, 2016
-
-
Lars Hupel authored
-
Lars Hupel authored
-
- Mar 20, 2016
-
-
Lars Hupel authored
-
Lars Hupel authored
Notable changes: * sbt-libisabelle plugin which takes care of Isabelle source management - no more submodules; Isabelle sources are now packaged in JAR files - no weird ROOTS file in the repository root * less isabelle: flags, everybody would want to use the defaults anyway * updating to Isabelle2016 becomes possible (future work)
-
- Mar 09, 2016
-
-
Regis Blanc authored
-
- Feb 12, 2016
-
-
Etienne Kneuss authored
-
- Feb 09, 2016
-
-
Regis Blanc authored
-
Regis Blanc authored
-
- Feb 02, 2016
-
-
Marco Antognini authored
-
- Jan 26, 2016
-
-
Manos Koukoutos authored
-
- Jan 08, 2016
-
-
Lars Hupel authored
-
Lars Hupel authored
-
- Nov 13, 2015
-
-
Regis Blanc authored
-
- Oct 26, 2015
-
-
Mikaël Mayer authored
Added more documentation
-
- Oct 15, 2015
-
-
Mikaël Mayer authored
-
Etienne Kneuss authored
-
- Oct 14, 2015
-
-
Mikaël Mayer authored
-
Etienne Kneuss authored
-
- Oct 09, 2015
-
-
Etienne Kneuss authored
-
