| Mon, 11 Jan 2016 00:04:23 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 10 Jan 2016 23:25:11 +0100 | wenzelm | prune old versions more often, to reduce overall heap requirements; | changeset | files |
| Sat, 09 Jan 2016 22:22:17 +0100 | wenzelm | generate HTML version of NEWS, with proper symbol rendering; | changeset | files |
| Sat, 09 Jan 2016 22:00:22 +0100 | wenzelm | tuned -- according to ML version; | changeset | files |
| Sat, 09 Jan 2016 20:56:00 +0100 | wenzelm | suppress somewhat pointless description (NB: this is displayed in 'print_methods'); | changeset | files |
| Sat, 09 Jan 2016 13:31:31 +0100 | wenzelm | merged | changeset | files |
| Sat, 09 Jan 2016 13:31:17 +0100 | wenzelm | tuned syntax; | changeset | files |
| Sat, 09 Jan 2016 13:00:04 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 09 Jan 2016 12:58:57 +0100 | wenzelm | \<struct> loses its rendering and is superseded by \<diamondop>; | changeset | files |
| Sat, 09 Jan 2016 12:35:07 +0100 | wenzelm | discontinued \<struct> syntax; | changeset | files |
| Fri, 08 Jan 2016 20:06:48 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 08 Jan 2016 19:46:30 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 18:18:40 +0100 | wenzelm | clarified symbol insertion, depending on buffer encoding; | changeset | files |
| Fri, 08 Jan 2016 17:17:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 17:41:04 +0100 | hoelzl | fix code generation for uniformity: uniformity is a non-computable pure data. | changeset | files |
| Fri, 08 Jan 2016 17:40:59 +0100 | hoelzl | add uniform spaces | changeset | files |
| Fri, 08 Jan 2016 16:37:56 +0100 | wenzelm | merged | changeset | files |
| Fri, 08 Jan 2016 16:19:41 +0100 | wenzelm | merged | changeset | files |
| Fri, 08 Jan 2016 15:54:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 15:49:01 +0100 | wenzelm | merged | changeset | files |
| Thu, 07 Jan 2016 16:50:52 +0100 | wenzelm | more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links; | changeset | files |
| Thu, 07 Jan 2016 16:29:41 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 07 Jan 2016 16:10:13 +0100 | wenzelm | prefer non-ASCII output; | changeset | files |
| Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | changeset | files |
| Thu, 07 Jan 2016 15:50:09 +0100 | wenzelm | more thorough GUI update; | changeset | files |
| Thu, 07 Jan 2016 13:42:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Jan 2016 16:36:41 +0100 | nipkow | added lemma | changeset | files |
| Fri, 08 Jan 2016 15:27:16 +0100 | eberlm | Tuned constant approximations | changeset | files |
| Thu, 07 Jan 2016 17:42:01 +0000 | paulson | merged | changeset | files |
| Thu, 07 Jan 2016 17:40:55 +0000 | paulson | revisions to limits and derivatives, plus new lemmas | changeset | files |
| Thu, 07 Jan 2016 14:44:51 +0100 | Manuel Eberl | Added formal power series updates to NEWS/CONTRIBUTORS | changeset | files |
| Thu, 07 Jan 2016 14:37:17 +0100 | Manuel Eberl | Tuned approximations in Multivariate_Analysis | changeset | files |
| Wed, 06 Jan 2016 16:17:50 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Wed, 06 Jan 2016 12:18:53 +0100 | hoelzl | add the proof of the central limit theorem | changeset | files |
| Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | nicer 'Spec_Rules' for size function | changeset | files |
| Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | updated docs | changeset | files |
| Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | updated NEWS | changeset | files |
| Wed, 06 Jan 2016 13:04:30 +0100 | blanchet | more complete setup for 'Rat' in Nitpick | changeset | files |
| Wed, 06 Jan 2016 11:45:07 +0100 | wenzelm | more systematic treatment of dynamic facts, when forming closure; | changeset | files |
| Wed, 06 Jan 2016 10:20:33 +0100 | wenzelm | clarified ROOT files; | changeset | files |
| Wed, 06 Jan 2016 10:08:09 +0100 | wenzelm | proper Pattern.match and corresponding Envir.subst_term, instead of Envir.norm_term of unify-family; | changeset | files |
| Wed, 06 Jan 2016 00:04:15 +0100 | wenzelm | added ML antiquotation @{method}; | changeset | files |
| Tue, 05 Jan 2016 23:28:43 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 22:50:43 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 21:57:21 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Tue, 05 Jan 2016 21:55:40 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Jan 2016 21:55:34 +0100 | wenzelm | more realistic Eisbach method invocation from ML; | changeset | files |
| Tue, 05 Jan 2016 17:20:56 +0100 | wenzelm | unused; | changeset | files |
| Tue, 05 Jan 2016 17:14:34 +0100 | wenzelm | more robust event propagation; | changeset | files |
| Tue, 05 Jan 2016 20:23:49 +0100 | eberlm | Fixed sectioning in HOL/Library/Polynomial | changeset | files |
| Tue, 05 Jan 2016 17:54:21 +0100 | eberlm | Merged | changeset | files |
| Tue, 05 Jan 2016 17:54:10 +0100 | eberlm | Added some facts about polynomials | changeset | files |
| Tue, 05 Jan 2016 15:53:17 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Tue, 05 Jan 2016 15:45:29 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Jan 2016 15:40:25 +0100 | wenzelm | fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown; | changeset | files |
| Tue, 05 Jan 2016 15:35:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 05 Jan 2016 15:38:37 +0100 | eberlm | Added summability/Gamma/etc. to NEWS and CONTRIBUTORS | changeset | files |
| Tue, 05 Jan 2016 14:25:12 +0100 | wenzelm | proper latex setup; | changeset | files |
| Tue, 05 Jan 2016 13:48:51 +0100 | wenzelm | updated headers; | changeset | files |
| Tue, 05 Jan 2016 13:41:29 +0100 | wenzelm | merged | changeset | files |