28 Jun 11:04 2016Mathias Fleury
*Simplification theorems with more general typeclasses
23 Jun 09:49 2016Florian Haftmann
*AFP config files?
23 Jun 09:51 2016Manuel Eberl
**AFP config files?
23 Jun 09:54 2016Lars Hupel
***AFP config files?
24 Jun 03:09 2016Gerwin Klein
****AFP config files?
23 Jun 09:45 2016Florian Haftmann
*Scala implicits
23 Jun 09:48 2016Manuel Eberl
**Scala implicits
23 Jun 11:22 2016Manuel Eberl
***Scala implicits
23 Jun 13:17 2016Manuel Eberl
****Scala implicits
23 Jun 16:52 2016Florian Haftmann
*****Scala implicits
21 Jun 11:40 2016Burkhart Wolff
*Acces to internal interfaces ...
21 Jun 15:03 2016Makarius
**Acces to internal interfaces ...
21 Jun 18:03 2016Jasmin Blanchette
**Acces to internal interfaces ...
17 Jun 12:06 2016Lars Hupel
*Jenkins maintenance
22 Jun 17:49 2016Lars Hupel
**Jenkins maintenance
15 Jun 18:19 2016Lawrence Paulson
*Fwd: [Isabelle-ci] Build failure in Isabelle
15 Jun 22:17 2016Manuel Eberl
**Fwd: [Isabelle-ci] Build failure in Isabelle
16 Jun 00:13 2016Lawrence Paulson
***Fwd: [Isabelle-ci] Build failure in Isabelle
16 Jun 11:44 2016Manuel Eberl
****Fwd: [Isabelle-ci] Build failure in Isabelle
16 Jun 12:55 2016Lawrence Paulson
*****[Isabelle-ci] Build failure in Isabelle
13 Jun 08:55 2016Lars Hupel
*Build NEWS
13 Jun 19:10 2016Florian Haftmann
**Build NEWS
13 Jun 19:29 2016Lars Hupel
***Build NEWS
13 Jun 19:41 2016Florian Haftmann
****Build NEWS
13 Jun 19:48 2016Lars Hupel
*****Build NEWS
13 Jun 19:58 2016Ondřej Kunčar
******Build NEWS
11 Jun 00:13 2016Makarius
*Syntax for lattice operations?
11 Jun 10:53 2016Florian Haftmann
**Syntax for lattice operations?
11 Jun 21:26 2016Florian Haftmann
***Syntax for lattice operations?
11 Jun 21:40 2016Makarius
****Syntax for lattice operations?
12 Jun 18:14 2016Tobias Nipkow
****Syntax for lattice operations?
12 Jun 18:22 2016Florian Haftmann
*****Syntax for lattice operations?
12 Jun 18:43 2016Tobias Nipkow
******Syntax for lattice operations?
10 Jun 23:58 2016Makarius
*NEWS: bundle target and unbundle command
8 Jun 19:46 2016Makarius
*NEWS: method facts
9 Jun 10:48 2016Joachim Breitner
**NEWS: method facts
9 Jun 15:58 2016Makarius
***NEWS: method facts
9 Jun 16:25 2016Joachim Breitner
****NEWS: method facts
9 Jun 16:48 2016Makarius
*****NEWS: method facts
6 Jun 20:46 2016Makarius
*NEWS: isabelle.select-entity
4 Jun 16:16 2016Makarius
*NEWS: clarified Integer.gcd and Integer.lcm
3 Jun 02:06 2016Matthew Fernandez
*PolyML bundle build steps
4 Jun 19:23 2016Makarius
**PolyML bundle build steps
2 Jun 13:37 2016Ho Yeung Lee
*how to guess the surface operation of 3 valued logic?
1 Jun 22:26 2016Makarius
*Isabelle_01-Jun-2016 snapshot
1 Jun 22:04 2016Makarius
*NEWS: Rat in Isabelle/ML
1 Jun 21:42 2016Makarius
*NEWS: Rat in Isabelle/ML
1 Jun 21:58 2016Florian Haftmann
**NEWS: Rat in Isabelle/ML
1 Jun 22:01 2016Makarius
***NEWS: Rat in Isabelle/ML
2 Jun 09:04 2016Manuel Eberl
**NEWS: Rat in Isabelle/ML
1 Jun 21:35 2016Makarius
*jdk-8u92
31 May 21:37 2016Makarius
*Proper sign of gcd / lcm on type int
1 Jun 21:27 2016Florian Haftmann
**Proper sign of gcd / lcm on type int
1 Jun 21:57 2016Makarius
***Proper sign of gcd / lcm on type int
1 Jun 22:07 2016Florian Haftmann
****Proper sign of gcd / lcm on type int
2 Jun 09:19 2016Manuel Eberl
**Proper sign of gcd / lcm on type int
2 Jun 10:06 2016Amine Chaieb
***Proper sign of gcd / lcm on type int
3 Jun 18:49 2016David Matthews
***Proper sign of gcd / lcm on type int
3 Jun 21:29 2016Makarius
****Proper sign of gcd / lcm on type int
3 Jun 22:17 2016Pierpaolo Bernardi
*****Proper sign of gcd / lcm on type int
31 May 11:14 2016Lawrence Paulson
*problem with Nominal in the AFP
31 May 11:18 2016Lars Hupel
**problem with Nominal in the AFP
31 May 12:04 2016Makarius
***problem with Nominal in the AFP
31 May 12:12 2016Lars Hupel
****problem with Nominal in the AFP
30 May 23:28 2016Makarius
*AFP/MFMC_Countable still failing
31 May 09:52 2016Johannes Hölzl
**AFP/MFMC_Countable still failing
27 May 17:53 2016Lawrence Paulson
*Whole word search
6 Jun 21:29 2016Makarius
**Whole word search
6 Jun 21:47 2016Makarius
***Whole word search
6 Jun 22:40 2016Lawrence Paulson
***Whole word search
6 Jun 22:43 2016Makarius
****Whole word search
7 Jun 10:10 2016Fabian Immler
***Whole word search
8 Jun 19:39 2016Makarius
****Whole word search
26 May 15:41 2016Florian Haftmann
*NEWS
26 May 14:42 2016Lars Hupel
*Repaired Card_Equiv_Relations
24 May 21:21 2016Makarius
*NEWS: theorem eigen context
24 May 20:24 2016Makarius
*NEWS: cartouches
24 May 17:12 2016Makarius
*Isabelle repository broken
24 May 17:16 2016Lawrence Paulson
**Isabelle repository broken
24 May 17:20 2016Lars Hupel
**Isabelle repository broken
24 May 17:22 2016Jasmin Blanchette
**Isabelle repository broken
24 May 18:34 2016Manuel Eberl
***Isabelle repository broken
24 May 18:42 2016Makarius
****Isabelle repository broken
24 May 18:50 2016Manuel Eberl
*****Isabelle repository broken
20 May 11:44 2016Lars Hupel
*Jenkins downtime
23 May 17:43 2016Lars Hupel
**Jenkins downtime
11 May 22:58 2016Lars Hupel
*Nonterminating AFP build
12 May 00:58 2016Gerwin Klein
**Nonterminating AFP build
12 May 12:39 2016Lawrence Paulson
***Nonterminating AFP build
12 May 12:58 2016Lawrence Paulson
****Nonterminating AFP build
12 May 13:04 2016Tobias Nipkow
*****Nonterminating AFP build
12 May 13:28 2016Johannes Hölzl
*****Nonterminating AFP build
12 May 09:26 2016Makarius
**Nonterminating AFP build
25 Apr 21:57 2016Makarius
*NEWS: command 'define'
5 May 10:49 2016Florian Haftmann
**NEWS: command 'define'
21 Apr 14:01 2016Lars Hupel
*Remaining uses of isatest/afptest
26 Apr 15:07 2016Lars Hupel
**Remaining uses of isatest/afptest
28 Apr 14:50 2016Makarius
**Remaining uses of isatest/afptest
18 Apr 16:24 2016Makarius
*NEWS: Highlighting of entity def/ref positions
19 Apr 18:18 2016Dmitriy Traytel
**NEWS: Highlighting of entity def/ref positions