| Sun, 26 Jul 2015 20:54:02 +0200 | wenzelm | ignore non-existant variables, like other instantiate rules; | changeset | files |
| Sun, 26 Jul 2015 17:32:59 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 17:24:54 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 12:24:16 +0200 | wenzelm | added infer_instantiate'; | changeset | files |
| Sun, 26 Jul 2015 11:08:57 +0200 | wenzelm | more uniform exceptions, like cterm_instantiate; | changeset | files |
| Sat, 25 Jul 2015 23:41:53 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sat, 25 Jul 2015 23:15:37 +0200 | wenzelm | more accurate maxidx; | changeset | files |
| Sat, 25 Jul 2015 21:54:09 +0200 | wenzelm | clarified error; | changeset | files |
| Sat, 25 Jul 2015 21:37:09 +0200 | wenzelm | added infer_instantiate, which is meant to supersede cterm_instantiate; | changeset | files |
| Fri, 24 Jul 2015 22:29:06 +0200 | wenzelm | eliminated alias; | changeset | files |
| Fri, 24 Jul 2015 22:20:22 +0200 | wenzelm | proper context; | changeset | files |
| Fri, 24 Jul 2015 22:19:36 +0200 | wenzelm | unused; | changeset | files |
| Fri, 24 Jul 2015 22:16:39 +0200 | wenzelm | proper context; | changeset | files |
| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | changeset | files |
| Thu, 23 Jul 2015 16:40:47 +0200 | hoelzl | Measures form a CCPO | changeset | files |
| Thu, 23 Jul 2015 16:39:10 +0200 | hoelzl | reorganized Extended_Real | changeset | files |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Thu, 23 Jul 2015 14:20:51 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 23 Jul 2015 13:28:34 +0200 | wenzelm | proper latex; | changeset | files |
| Wed, 22 Jul 2015 23:26:00 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 22 Jul 2015 14:55:42 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 21 Jul 2015 19:04:36 +0200 | wenzelm | support for ML debugger; | changeset | files |
| Tue, 21 Jul 2015 14:12:45 +0200 | wenzelm | more explicit thread identification; | changeset | files |
| Tue, 21 Jul 2015 14:07:06 +0200 | wenzelm | avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes; | changeset | files |
| Mon, 20 Jul 2015 23:12:50 +0100 | paulson | new material for multivariate analysis, etc. | changeset | files |
| Mon, 20 Jul 2015 11:40:43 +0200 | wenzelm | proper LaTeX; | changeset | files |
| Sun, 19 Jul 2015 21:16:39 +0200 | wenzelm | updated to jdk-8u51; | changeset | files |
| Sun, 19 Jul 2015 00:03:10 +0200 | wenzelm | more symbols; | changeset | files |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Sat, 18 Jul 2015 21:44:18 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 21:25:55 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:59:51 +0200 | wenzelm | merged | changeset | files |
| Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:53:05 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 18 Jul 2015 20:47:08 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:37:16 +0200 | wenzelm | reactivated dead code; | changeset | files |
| Fri, 17 Jul 2015 21:45:15 +0200 | wenzelm | more uniform ComponentAdapter; | changeset | files |
| Fri, 17 Jul 2015 21:40:47 +0200 | wenzelm | skeleton for interactive debugger; | changeset | files |
| Fri, 17 Jul 2015 21:37:33 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jul 2015 21:00:41 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jul 2015 17:17:39 +0200 | wenzelm | store breakpoints within ML environment; | changeset | files |
| Fri, 17 Jul 2015 16:43:53 +0200 | wenzelm | clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default; | changeset | files |
| Fri, 17 Jul 2015 16:23:25 +0200 | wenzelm | report possible breakpoint positions; | changeset | files |
| Fri, 17 Jul 2015 16:03:11 +0200 | wenzelm | proper attribute; | changeset | files |
| Fri, 17 Jul 2015 16:13:03 +0200 | traytel | forgotten selector | changeset | files |
| Thu, 16 Jul 2015 18:36:16 +0200 | blanchet | made code less loopy | changeset | files |
| Thu, 16 Jul 2015 17:47:49 +0200 | blanchet | keep smart default for Isar proofs in Sledgehammer panel (if the option is not checked) | changeset | files |
| Thu, 16 Jul 2015 17:38:36 +0200 | blanchet | generalized generic translation function | changeset | files |
| Thu, 16 Jul 2015 17:36:38 +0200 | blanchet | merge | changeset | files |
| Thu, 16 Jul 2015 17:25:48 +0200 | blanchet | tuning | changeset | files |
| Thu, 16 Jul 2015 17:25:44 +0200 | blanchet | generalized limitation in documentation | changeset | files |
| Thu, 16 Jul 2015 17:25:44 +0200 | blanchet | made tactic more robust w.r.t. equations containing 'case_prod' | changeset | files |
| Thu, 16 Jul 2015 17:02:07 +0200 | wenzelm | merged | changeset | files |
| Thu, 16 Jul 2015 16:32:37 +0200 | wenzelm | merged | changeset | files |
| Thu, 16 Jul 2015 16:30:43 +0200 | wenzelm | clarified boundary cases of completion; | changeset | files |
| Thu, 16 Jul 2015 14:40:23 +0200 | wenzelm | additional ML parse tree components for Poly/ML 5.5.3, or later; | changeset | files |
| Thu, 16 Jul 2015 11:38:18 +0200 | wenzelm | added option ML_debugger; | changeset | files |
| Thu, 16 Jul 2015 11:10:57 +0200 | wenzelm | ML debugger interface; | changeset | files |
| Thu, 16 Jul 2015 12:23:22 +0200 | traytel | {r,e,d,f}tac with proper context in BNF | changeset | files |
| Thu, 16 Jul 2015 10:48:20 +0200 | hoelzl | move disjoint sets to their own theory | changeset | files |