Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE6cd6c553b480: clarified signature: less redundancy;.
clarified signature: less redundancy;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE127ee77c24ff: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE1b7bb4f8c0f4: potentially more robust delay_load action: avoid loosing events due to guards;.
potentially more robust delay_load action: avoid loosing events due to guards;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE017384868fcb: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc9f897077089: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE71942a6af4ed: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE699d9a219e45: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEe5bf43eda6ed: more uniform tooltip for plugin options dialog;.
more uniform tooltip for plugin options dialog;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc79b43c1c7ab: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE06b001094ddb: more uniform session selectors, with persistent options;.
more uniform session selectors, with persistent options;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc662a56e77a8: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
desharna committed rAFPc211edfd5b6e: removed Restricted_Predicates.irreflp_on following the introduction of….
removed Restricted_Predicates.irreflp_on following the introduction of…
Tue, Dec 6, 8:55 AM
desharna committed rISABELLE6714991edf8b: NEWS.
NEWS
Tue, Dec 6, 8:51 AM
desharna committed rISABELLE66addfbb0923: merged.
merged
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE7bc934b99faf: added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp.
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
Tue, Dec 6, 8:44 AM
desharna committed rISABELLEcbf38b7cb195: added lemma totalp_on_converse[simp].
added lemma totalp_on_converse[simp]
Tue, Dec 6, 8:44 AM
desharna committed rISABELLEd8542bc5a3fa: added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp].
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE5a13f1519f5d: added type annotations and tuned formatting.
added type annotations and tuned formatting
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE608489919ecf: strengthened and renamed irreflp_greater[simp] and irreflp_less[simp].
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Tue, Dec 6, 8:44 AM

Mon, Dec 5

makarius committed rISABELLE5150e1f62c86: merged.
merged
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE1c1d7b3478b1: tuned GUI behaviour;.
tuned GUI behaviour;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLEaef247025f07: more GUI elements;.
more GUI elements;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE318c6b466ec0: clarified modules;.
clarified modules;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE6827dd0c3723: clarified process: implicit load() when finished;.
clarified process: implicit load() when finished;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE89cd466e063d: tuned;.
tuned;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE02d07758ce42: more robust, notably initial update();.
more robust, notably initial update();
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE9c5780693350: tuned messages: implement "verbose = false", but there is no theory output….
tuned messages: implement "verbose = false", but there is no theory output…
Mon, Dec 5, 11:19 PM
desharna committed rAFPab056942c0bc: fixed Containers following introduction of irrefl_on.
fixed Containers following introduction of irrefl_on
Mon, Dec 5, 4:48 PM
desharna committed rISABELLEdf6ba3cf7874: added lemmas irrefl_on_subset and irreflp_on_subset.
added lemmas irrefl_on_subset and irreflp_on_subset
Mon, Dec 5, 4:44 PM
desharna committed rISABELLE595261b3d033: merged.
merged
Mon, Dec 5, 4:44 PM
desharna committed rISABELLE4352d0ff165a: introduced predicates irrefl_on and irreflp_on, and redefined irrefl and….
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and…
Mon, Dec 5, 4:44 PM
makarius committed rISABELLEd6a2a8bc40e1: tuned messages;.
tuned messages;
Mon, Dec 5, 3:20 PM
makarius committed rISABELLE6dc213e7f664: tuned message;.
tuned message;
Mon, Dec 5, 2:47 PM
makarius committed rISABELLEc7f3e94fce7b: tuned messages and options;.
tuned messages and options;
Mon, Dec 5, 12:40 PM

Sun, Dec 4

desharna committed rISABELLEe28aed61a4b1: merged.
merged
Sun, Dec 4, 8:53 PM
desharna committed rISABELLEa7d9e34c85e6: removed prod_set_conv attribute from top_empty_eq and top_empty_eq2.
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
Sun, Dec 4, 8:53 PM
makarius committed rISABELLE120f79cdb492: discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);.
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
Sun, Dec 4, 4:31 PM
makarius committed rISABELLE13fde66c7cf6: more direct access to jEdit jar resources, without unzip;.
more direct access to jEdit jar resources, without unzip;
Sun, Dec 4, 4:31 PM

Fri, Dec 2

desharna committed rAFPbab4d1b38467: added lemmas ex_unify_if_unifiers_not_empty, ex_mgu_if_unifiers_not_empty, and….
added lemmas ex_unify_if_unifiers_not_empty, ex_mgu_if_unifiers_not_empty, and…
Fri, Dec 2, 3:09 PM

Thu, Dec 1

makarius committed rISABELLEa82fc7755ba5: clarified check;.
clarified check;
Thu, Dec 1, 5:27 PM