descriptionThe Isabelle repository
ownerisabelle
last changeThu, 20 Jul 2017 23:59:09 +0200
changes
3 days ago Lars Hupel 2017-07-20 merged default tip
3 days ago Lars Hupel 2017-07-20 improve setup for fMin/fMax/fsum; courtesy of Ondřej Kunčar & Florian Haftmann
3 days ago Lars Hupel 2017-07-20 tuned code setup
3 days ago blanchet 2017-07-20 strengthened tactic
3 days ago paulson 2017-07-20 Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike
4 days ago blanchet 2017-07-19 strengthened tactic (for 'fun' BNF)
4 days ago paulson 2017-07-19 new material: Colinearity, convex sets, polytopes
5 days ago eberlm 2017-07-18 poles and residues of the Gamma function
5 days ago Andreas Lochbihler 2017-07-18 merged
6 days ago Andreas Lochbihler 2017-07-17 new derived targets for evaluating Haskell and Scala programs
...
tags
7 months ago Isabelle2016-1
17 months ago Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
...
branches
3 days ago 2eae295c8fc3 default
...