| Thu, 31 Jan 2013 17:42:12 +0100 | hoelzl | remove unnecessary assumption from real_normed_vector | file | diff | annotate |
| Sun, 20 Jan 2013 15:34:27 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Sun, 20 Jan 2013 15:26:56 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Sun, 20 Jan 2013 14:00:05 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Mon, 14 Jan 2013 14:03:24 +0100 | kuncar | NEWS | file | diff | annotate |
| Fri, 11 Jan 2013 22:01:49 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Wed, 09 Jan 2013 12:22:09 +0100 | wenzelm | tune spelling; | file | diff | annotate |
| Tue, 08 Jan 2013 16:23:07 +0100 | wenzelm | allow negative argument in "consumes" source format; | file | diff | annotate |
| Fri, 04 Jan 2013 21:24:47 +0100 | wenzelm | merged | file | diff | annotate |
| Fri, 04 Jan 2013 21:16:08 +0100 | wenzelm | more reactive completion popup by default; | file | diff | annotate |
| Fri, 04 Jan 2013 19:00:49 +0100 | blanchet | updated docs | file | diff | annotate |
| Fri, 04 Jan 2013 13:03:21 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Fri, 04 Jan 2013 12:44:47 +0100 | wenzelm | document 'locale_deps'; | file | diff | annotate |
| Thu, 03 Jan 2013 14:23:10 +0100 | wenzelm | NEWS: ML runtime statistics; | file | diff | annotate |
| Mon, 31 Dec 2012 13:08:37 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Mon, 31 Dec 2012 12:25:11 +0100 | wenzelm | recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d; | file | diff | annotate |
| Sat, 29 Dec 2012 17:18:01 +0100 | nipkow | new theory Library/Finite_Lattice | file | diff | annotate |
| Sun, 23 Dec 2012 19:54:15 +0100 | nipkow | renamed and added lemmas | file | diff | annotate |
| Tue, 18 Dec 2012 21:59:44 +0100 | haftmann | discontinued legacy antiquotations and styles | file | diff | annotate |
| Fri, 14 Dec 2012 15:46:01 +0100 | hoelzl | Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors | file | diff | annotate |
| Fri, 14 Dec 2012 14:46:01 +0100 | hoelzl | NEWS | file | diff | annotate |
| Fri, 14 Dec 2012 12:40:07 +0100 | wenzelm | merged | file | diff | annotate |
| Thu, 13 Dec 2012 13:11:38 +0100 | Christian Sternagel | renamed "emb" to "list_hembeq"; | file | diff | annotate |
| Thu, 13 Dec 2012 19:53:55 +0100 | wenzelm | smarter handling of tracing messages: prover process pauses and enters user dialog; | file | diff | annotate |
| Mon, 10 Dec 2012 16:06:57 +0100 | wenzelm | more generous tracing limit -- rescaled in MB; | file | diff | annotate |
| Thu, 06 Dec 2012 21:46:20 +0100 | wenzelm | documentation for isabelle build_dialog and its implicit use in isabelle jedit; | file | diff | annotate |
| Mon, 26 Nov 2012 19:53:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 26 Nov 2012 17:13:44 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 26 Nov 2012 11:46:19 +0100 | blanchet | updated NEWS etc. | file | diff | annotate |
| Mon, 26 Nov 2012 13:54:43 +0100 | wenzelm | refined outer syntax 'help' command; | file | diff | annotate |