Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -3000 -1000 -300 -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
Thu, 02 Jul 2020 12:10:58 +0000 haftmann extraction of equations x = t from premises beneath meta-all file | diff | annotate
Thu, 02 Jul 2020 08:49:03 +0000 haftmann removed superfluous dependency file | diff | annotate
Wed, 01 Jul 2020 17:32:11 +0000 haftmann factored out ancient numeral representation file | diff | annotate
Wed, 01 Jul 2020 17:32:11 +0000 haftmann moved to Word_Lib file | diff | annotate
Sun, 21 Jun 2020 11:12:19 +0200 wenzelm clarified NEWS; file | diff | annotate
Sat, 20 Jun 2020 22:35:24 +0200 wenzelm enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39); file | diff | annotate
Fri, 19 Jun 2020 18:44:36 +0200 wenzelm merged file | diff | annotate
Fri, 19 Jun 2020 18:29:37 +0200 wenzelm back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39); file | diff | annotate
Fri, 19 Jun 2020 09:46:47 +0000 haftmann prefer single name file | diff | annotate
Thu, 18 Jun 2020 09:07:30 +0000 haftmann build bit operations on word on library theory on bit operations file | diff | annotate
Thu, 18 Jun 2020 09:07:30 +0000 haftmann bit operations as distinctive library theory file | diff | annotate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann dropped yet another duplicate file | diff | annotate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced mere alias by input abbreviation file | diff | annotate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced mere alias by abbreviation file | diff | annotate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced operation with weak abstraction by input abbreviation file | diff | annotate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann avoid compound operation file | diff | annotate
Thu, 18 Jun 2020 09:07:28 +0000 haftmann replaced mere alias by input abbreviation file | diff | annotate
Wed, 17 Jun 2020 20:42:52 +0200 wenzelm enable pide_session by default; file | diff | annotate
Wed, 10 Jun 2020 19:59:12 +0200 wenzelm updated to jedit-5.6pre1 (repository version 25349); file | diff | annotate
Mon, 08 Jun 2020 21:56:06 +0200 wenzelm NEWS; file | diff | annotate
Mon, 08 Jun 2020 15:09:57 +0200 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure"; file | diff | annotate
Sat, 06 Jun 2020 10:58:13 +0200 haftmann NEWS file | diff | annotate
Wed, 27 May 2020 16:43:34 +0200 wenzelm tuned; file | diff | annotate
Wed, 27 May 2020 16:09:25 +0200 wenzelm more NEWS; file | diff | annotate
Wed, 27 May 2020 14:27:22 +0200 wenzelm check bash functions against Isabelle settings environment; file | diff | annotate
Wed, 27 May 2020 13:57:13 +0200 wenzelm misc tuning; file | diff | annotate
Mon, 18 May 2020 12:59:01 +0200 wenzelm follow Phabricator update 2020 Week 19; file | diff | annotate
Thu, 14 May 2020 10:26:33 +0100 paulson The Uniq quantifier for FOL too file | diff | annotate
Wed, 13 May 2020 12:55:33 +0200 Manuel Eberl new constant power_int in HOL file | diff | annotate
Mon, 04 May 2020 17:35:29 +0200 Manuel Eberl New HOL simproc 'datatype_no_proper_subterm' file | diff | annotate
Tue, 12 May 2020 16:53:02 +0100 paulson Fixes for Sup{} = (0::nat) file | diff | annotate
Tue, 28 Apr 2020 21:47:22 +0200 wenzelm added "isabelle sessions" tool; file | diff | annotate
Tue, 21 Apr 2020 07:28:17 +0000 haftmann hooks for foundational terms: protection of foundational terms during simplification file | diff | annotate
Wed, 15 Apr 2020 14:31:21 +0200 wenzelm merged file | diff | annotate
Mon, 13 Apr 2020 22:08:14 +0200 wenzelm tuned NEWS; Isabelle2020 file | diff | annotate
Sun, 12 Apr 2020 16:59:49 +0200 wenzelm tuned NEWS; file | diff | annotate
Thu, 09 Apr 2020 21:50:00 +0200 wenzelm tuned; file | diff | annotate
Wed, 08 Apr 2020 14:25:28 +0200 wenzelm another isabelle_scala_service; file | diff | annotate
Wed, 08 Apr 2020 13:14:05 +0200 wenzelm more general support for isabelle_scala_service; file | diff | annotate
Tue, 07 Apr 2020 22:13:22 +0200 wenzelm NEWS; file | diff | annotate
Mon, 06 Apr 2020 21:18:16 +0200 wenzelm NEWS; file | diff | annotate
Thu, 02 Apr 2020 13:04:24 +0200 wenzelm merged file | diff | annotate
Wed, 25 Mar 2020 17:38:22 +0100 wenzelm more NEWS; file | diff | annotate
Sat, 21 Mar 2020 22:12:21 +0100 wenzelm merged; file | diff | annotate
Sat, 21 Mar 2020 21:41:13 +0100 wenzelm more NEWS; file | diff | annotate
Fri, 20 Mar 2020 22:41:49 +0100 wenzelm more NEWS; file | diff | annotate
Sun, 15 Mar 2020 13:20:22 +0100 wenzelm back to post-release mode; file | diff | annotate
Sat, 14 Mar 2020 14:23:52 +0100 wenzelm tuned; file | diff | annotate
Fri, 13 Mar 2020 23:25:34 +0100 wenzelm proper escape for literal single quotes; file | diff | annotate
Fri, 13 Mar 2020 16:04:27 +0100 wenzelm allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962); file | diff | annotate
Thu, 12 Mar 2020 23:05:11 +0100 wenzelm updated for release; file | diff | annotate
Tue, 10 Mar 2020 14:16:19 +0100 Manuel Eberl updated NEWS w.r.t. e0237f2eb49d file | diff | annotate
Fri, 06 Mar 2020 20:18:21 +0100 wenzelm support Java/VM monitoring via jconsole; file | diff | annotate
Mon, 02 Mar 2020 13:43:52 +0100 wenzelm more documentation; file | diff | annotate
Sun, 01 Mar 2020 21:52:21 +0100 wenzelm more Isabelle/jEdit actions; file | diff | annotate
Sat, 29 Feb 2020 17:16:17 +0100 wenzelm more Isabelle/jEdit actions; file | diff | annotate
Fri, 28 Feb 2020 22:23:43 +0100 wenzelm NEWS; file | diff | annotate
Wed, 26 Feb 2020 19:50:04 +0100 wenzelm updated for release; file | diff | annotate
Wed, 26 Feb 2020 19:26:00 +0100 wenzelm updated for release; file | diff | annotate
Tue, 25 Feb 2020 18:30:08 +0100 wenzelm update to WebviewPanel API, following initial version by Peter Zeller; file | diff | annotate
less more (0) -3000 -1000 -300 -100 -60 tip
isabelle