isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 11 Nov 2013 20:00:53 +0100 tuned signature;

changeset

wenzelm [Mon, 11 Nov 2013 20:00:53 +0100] rev 54387

tuned signature;

Mon, 11 Nov 2013 20:51:00 +0100 minor doc fix

changeset

blanchet [Mon, 11 Nov 2013 20:51:00 +0100] rev 54386

minor doc fix

Mon, 11 Nov 2013 18:37:56 +0100 merged

changeset

wenzelm [Mon, 11 Nov 2013 18:37:56 +0100] rev 54385

merged

Mon, 11 Nov 2013 17:44:21 +0100 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;

changeset

wenzelm [Mon, 11 Nov 2013 17:44:21 +0100] rev 54384

merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;

Mon, 11 Nov 2013 17:34:44 +0100 removed obsolete RC tags;

changeset

wenzelm [Mon, 11 Nov 2013 17:34:44 +0100] rev 54383

removed obsolete RC tags;

Mon, 11 Nov 2013 16:40:07 +0100 Added tag Isabelle2013-1 for changeset 9c1f21365326

changeset

wenzelm [Mon, 11 Nov 2013 16:40:07 +0100] rev 54382

Added tag Isabelle2013-1 for changeset 9c1f21365326

Sat, 09 Nov 2013 18:00:36 +0100 tuned; Isabelle2013-1

changeset

wenzelm [Sat, 09 Nov 2013 18:00:36 +0100] rev 54381

tuned;

Sat, 09 Nov 2013 12:47:32 +0100 more on completion;

changeset

wenzelm [Sat, 09 Nov 2013 12:47:32 +0100] rev 54380

more on completion;

Sat, 09 Nov 2013 11:41:32 +0100 adjust modules for Admin/build jars_test;

changeset

wenzelm [Sat, 09 Nov 2013 11:41:32 +0100] rev 54379

adjust modules for Admin/build jars_test;

Sat, 09 Nov 2013 11:24:21 +0100 tuned whitespace;

changeset

wenzelm [Sat, 09 Nov 2013 11:24:21 +0100] rev 54378

tuned whitespace;

Fri, 08 Nov 2013 17:34:37 +0100 added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);

changeset

wenzelm [Fri, 08 Nov 2013 17:34:37 +0100] rev 54377

added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);

Fri, 08 Nov 2013 15:10:16 +0100 transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;

changeset

wenzelm [Fri, 08 Nov 2013 15:10:16 +0100] rev 54376

transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;

Thu, 07 Nov 2013 19:35:57 +0100 Added tag Isabelle2013-1-RC4 for changeset 594628261376

changeset

wenzelm [Thu, 07 Nov 2013 19:35:57 +0100] rev 54375

Added tag Isabelle2013-1-RC4 for changeset 594628261376

Thu, 07 Nov 2013 19:17:53 +0100 updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);

changeset

wenzelm [Thu, 07 Nov 2013 19:17:53 +0100] rev 54374

updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);

Thu, 07 Nov 2013 13:38:44 +0100 tuned;

changeset

wenzelm [Thu, 07 Nov 2013 13:38:44 +0100] rev 54373

tuned;

Thu, 07 Nov 2013 13:34:04 +0100 misc tuning;

changeset

wenzelm [Thu, 07 Nov 2013 13:34:04 +0100] rev 54372

misc tuning;

Wed, 06 Nov 2013 21:20:20 +0100 updated to jedit_build-20131106 (Console.jar 5.1.3);

changeset

wenzelm [Wed, 06 Nov 2013 21:20:20 +0100] rev 54371

updated to jedit_build-20131106 (Console.jar 5.1.3);

Wed, 06 Nov 2013 20:58:11 +0100 join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status;

changeset

wenzelm [Wed, 06 Nov 2013 20:58:11 +0100] rev 54370

join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status;

Wed, 06 Nov 2013 20:46:00 +0100 tuned signature;

changeset

wenzelm [Wed, 06 Nov 2013 20:46:00 +0100] rev 54369

tuned signature;

Wed, 06 Nov 2013 18:15:25 +0100 less tiny font for search criteria;

changeset

wenzelm [Wed, 06 Nov 2013 18:15:25 +0100] rev 54368

less tiny font for search criteria;

Wed, 06 Nov 2013 18:04:36 +0100 tuned tooltips;

changeset

wenzelm [Wed, 06 Nov 2013 18:04:36 +0100] rev 54367

tuned tooltips;

Thu, 17 Oct 2013 17:14:06 +0200 swap equations and premises in the coinductive step for better proof automation

changeset

Andreas Lochbihler [Thu, 17 Oct 2013 17:14:06 +0200] rev 54366

swap equations and premises in the coinductive step for better proof automation

Tue, 05 Nov 2013 18:16:16 +0100 no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;

changeset

wenzelm [Tue, 05 Nov 2013 18:16:16 +0100] rev 54365

no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;

Tue, 05 Nov 2013 16:41:19 +0100 tuned;

changeset

wenzelm [Tue, 05 Nov 2013 16:41:19 +0100] rev 54364

tuned;

Mon, 28 Oct 2013 11:27:14 +0100 CONTRIBUTORS

changeset

noschinl [Mon, 28 Oct 2013 11:27:14 +0100] rev 54363

CONTRIBUTORS

Sun, 03 Nov 2013 18:12:23 +0100 more on text completion;

changeset

wenzelm [Sun, 03 Nov 2013 18:12:23 +0100] rev 54362