17 Apr 11:14 2014Florian Haftmann
*Scalablity problem with pdflatex on lxbroy10 for AFP session Collectio
16 Apr 21:10 2014Makarius
*jdk-8u5
17 Apr 15:59 2014Makarius
**jdk-8u5
17 Apr 16:17 2014Lawrence Paulson
***jdk-8u5
17 Apr 16:29 2014Makarius
****jdk-8u5
16 Apr 11:13 2014Christian Sternagel
*lemma
16 Apr 16:14 2014Lawrence Paulson
**lemma
14 Apr 11:31 2014Makarius
*NEWS: Spell-checker support
15 Apr 23:01 2014Makarius
**NEWS: Spell-checker support
12 Apr 19:02 2014Florian Haftmann
*Unqualified swap?
12 Apr 20:05 2014Tobias Nipkow
**Unqualified swap?
12 Apr 18:54 2014Florian Haftmann
*Transfer for 'a => 'a => bool vs. ('a * 'a) set
12 Apr 12:58 2014John Wickerson
*html output of theories
12 Apr 18:01 2014Lawrence Paulson
**html output of theories
12 Apr 18:18 2014John Wickerson
***html output of theories
12 Apr 18:55 2014Lawrence Paulson
****html output of theories
13 Apr 01:12 2014John Wickerson
*****html output of theories
14 Apr 11:37 2014Makarius
******html output of theories
14 Apr 12:01 2014Makarius
**html output of theories
14 Apr 12:44 2014John Wickerson
***html output of theories
14 Apr 13:37 2014Makarius
****html output of theories
14 Apr 16:17 2014Gottfried Barrow
*****html output of theories
16 Apr 14:47 2014Makarius
******html output of theories
16 Apr 21:48 2014Gottfried Barrow
*******html output of theories
16 Apr 14:52 2014Makarius
******html output of theories
15 Apr 10:51 2014Christian Sternagel
***html output of theories
15 Apr 14:24 2014Lawrence Paulson
****html output of theories
16 Apr 15:14 2014Makarius
*****html output of theories
16 Apr 15:00 2014Makarius
****html output of theories
11 Apr 13:30 2014Makarius
*NEWS: session 'document_files'
11 Apr 20:35 2014Tobias Nipkow
**NEWS: session 'document_files'
11 Apr 23:52 2014Makarius
***NEWS: session 'document_files'
13 Apr 12:23 2014Tobias Nipkow
****NEWS: session 'document_files'
14 Apr 12:20 2014Makarius
*****NEWS: session 'document_files'
10 Apr 15:50 2014Makarius
*NEWS: more support for remote files
10 Apr 15:42 2014Makarius
*NEWS: cartouches in "text" and "altstring"
10 Apr 15:27 2014Makarius
*Odd "hash tags" getting
7 Apr 15:22 2014Makarius
*NEWS: renamed isabelle-process
7 Apr 15:16 2014Makarius
*NEWS: Support for Navigator plugin
7 Apr 15:22 2014Lars Noschinski
**NEWS: Support for Navigator plugin
7 Apr 15:40 2014Makarius
***NEWS: Support for Navigator plugin
7 Apr 16:08 2014Lars Noschinski
****NEWS: Support for Navigator plugin
7 Apr 16:43 2014Makarius
*****NEWS: Support for Navigator plugin
5 Apr 10:12 2014Florian Haftmann
*Pie charts
7 Apr 15:49 2014Makarius
**Pie charts
7 Apr 15:54 2014Florian Haftmann
***Pie charts
4 Apr 15:16 2014Lawrence Paulson
*Default simprules for division in fields
4 Apr 16:08 2014Florian Haftmann
**Default simprules for division in fields
4 Apr 17:37 2014Lawrence Paulson
***Default simprules for division in fields
4 Apr 18:09 2014Tobias Nipkow
****Default simprules for division in fields
4 Apr 18:10 2014Florian Haftmann
*****Default simprules for division in fields
4 Apr 18:13 2014Tobias Nipkow
******Default simprules for division in fields
4 Apr 18:12 2014Lawrence Paulson
*****Default simprules for division in fields
7 Apr 03:11 2014Thomas Sewell
*****Default simprules for division in fields
7 Apr 07:40 2014Tobias Nipkow
******Default simprules for division in fields
4 Apr 20:35 2014Tobias Nipkow
****Default simprules for division in fields
4 Apr 18:26 2014Tobias Nipkow
***Default simprules for division in fields
4 Apr 13:11 2014Makarius
*NEWS: ML antiquotation @{print}
4 Apr 13:17 2014Lars Noschinski
**NEWS: ML antiquotation @{print}
4 Apr 13:33 2014Makarius
***NEWS: ML antiquotation @{print}
2 Apr 15:34 2014Jasmin Christian Blanchette
*Issues with "interpretations"
2 Apr 16:17 2014Andreas Lochbihler
**Issues with "interpretations"
3 Apr 10:39 2014Jasmin Blanchette
***Issues with "interpretations"
2 Apr 17:06 2014Makarius
***Issues with "interpretations"
7 Apr 16:21 2014Makarius
**Issues with "interpretations"
2 Apr 17:29 2014Makarius
*Extra line spacing
2 Apr 00:17 2014stvienna wiener
*logging and debugging output
2 Apr 10:47 2014Makarius
**logging and debugging output
11 Apr 00:11 2014stvienna wiener
***logging and debugging output
11 Apr 00:27 2014Matthew Fernandez
****logging and debugging output
11 Apr 12:22 2014Makarius
*****logging and debugging output
11 Apr 12:35 2014Makarius
****logging and debugging output
11 Apr 12:51 2014Makarius
****logging and debugging output
1 Apr 12:23 2014Johannes Hölzl
*Unresponsive Isabelle/jEdit
1 Apr 23:20 2014Makarius
**Unresponsive Isabelle/jEdit
31 Mar 22:04 2014Makarius
*NEWS: improved syntactic and semantic completion mechanism
15 Apr 13:20 2014Lars Noschinski
**NEWS: improved syntactic and semantic completion mechanism
16 Apr 15:57 2014Makarius
***NEWS: improved syntactic and semantic completion mechanism
31 Mar 20:18 2014Makarius
*[ jEdit-devel ] jEdit 5.2 release plan (fwd)
26 Mar 22:07 2014Florian Haftmann
*Consolidation of manual naming
26 Mar 23:28 2014Johannes Hölzl
**Consolidation of manual naming
28 Mar 12:08 2014Makarius
**Consolidation of manual naming
28 Mar 19:24 2014Makarius
***Consolidation of manual naming
3 Apr 18:16 2014Florian Haftmann
****Consolidation of manual naming
7 Apr 17:15 2014Makarius
*****Consolidation of manual naming
7 Apr 17:21 2014Florian Haftmann
******Consolidation of manual naming
8 Apr 12:52 2014Florian Haftmann
*******Consolidation of manual naming
9 Apr 13:17 2014Makarius
*******Consolidation of manual naming
11 Apr 15:54 2014Florian Haftmann
********Consolidation of manual naming
11 Apr 16:12 2014Tobias Nipkow
*********Consolidation of manual naming
10 Apr 15:16 2014Makarius
******Consolidation of manual naming
25 Mar 21:50 2014Makarius
*Notes and updates on Isabelle/ML
25 Mar 21:28 2014Makarius
*NEWS: Isabelle support for Standard ML
31 Mar 16:04 2014Makarius
**NEWS: Isabelle support for Standard ML
31 Mar 16:46 2014Lars Noschinski
***NEWS: Isabelle support for Standard ML
31 Mar 17:07 2014Makarius
****NEWS: Isabelle support for Standard ML
31 Mar 18:24 2014Makarius
**NEWS: Isabelle support for Standard ML (fwd)
21 Mar 21:12 2014Makarius
*NEWS: constants of Pure use more conventional names
20 Mar 15:24 2014Brian Huffman
*Isabelle_makeall not finishing on testboard
21 Mar 11:23 2014Lars Noschinski
**Isabelle_makeall not finishing on testboard