Page MenuHomeIsabelle/Phabricator

Open Tasks
View All

Normal (8)

Low (6)

Wishlist (1)

Active Repositories
View All

Recent Activity
View All

Yesterday

desharna committed rISABELLEadb34395b622: added support for unbounded max calls to Mirabelle.
added support for unbounded max calls to Mirabelle
Sat, Jun 12, 3:38 PM
desharna committed rISABELLEbb277f37c34a: added warnings when defining unamed or redefining Mirabelle action.
added warnings when defining unamed or redefining Mirabelle action
Sat, Jun 12, 3:16 PM
makarius committed rISABELLE93228ff7aa67: tuned whitespace;.
tuned whitespace;
Sat, Jun 12, 12:27 PM

Fri, Jun 11

desharna committed rISABELLE4eac16052a94: tuned Mirabelle.
tuned Mirabelle
Fri, Jun 11, 9:38 AM
desharna committed rISABELLE77306bf4e1ee: merged.
merged
Fri, Jun 11, 9:38 AM
desharna committed rISABELLE58f6b41efe88: refactored Mirabelle to produce output in real time.
refactored Mirabelle to produce output in real time
Fri, Jun 11, 9:38 AM

Thu, Jun 10

Asta Halkjær From <andro.from@gmail.com> committed rAFP0730332cf9f6: Fix typo in date.
Fix typo in date
Thu, Jun 10, 4:40 PM
florian.haftmann committed rISABELLEbfce186331be: more succint interfaces.
more succint interfaces
Thu, Jun 10, 9:08 AM
florian.haftmann committed rISABELLE9447668d1b77: global interpretation into nested targets.
global interpretation into nested targets
Thu, Jun 10, 9:08 AM

Wed, Jun 9

makarius created Blog Post: Reactivated ML profiling.
Wed, Jun 9, 12:11 PM
makarius committed rISABELLE8a9fd2ffb81d: merged.
merged
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE014b944f4972: tuned messages;.
tuned messages;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE9134ae401ad5: NEWS;.
NEWS;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE95484bd7e1ec: proper profiling within command execution: messages require PIDE id;.
proper profiling within command execution: messages require PIDE id;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLEa5200fa7cb4c: more systematic treatment of profiling mode;.
more systematic treatment of profiling mode;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE0638fa8c01bc: tuned message;.
tuned message;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE0e6a5a6cc767: prefer less intrusive tracing message;.
prefer less intrusive tracing message;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE690fdc14f7fb: add missing file;.
add missing file;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLEf72335f6a9ed: clarified documentation: tracing messages are not shown here;.
clarified documentation: tracing messages are not shown here;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE5dae03d50db1: more formal ML profiling messages;.
more formal ML profiling messages;
Wed, Jun 9, 11:57 AM
makarius committed rISABELLE364bac6691de: clarified modules;.
clarified modules;
Wed, Jun 9, 11:57 AM

Tue, Jun 8

nipkow committed rAFP337ae29a0d24: Lukas Steven's changes for his fold updates.
Lukas Steven's changes for his fold updates
Tue, Jun 8, 5:06 PM
nipkow committed rISABELLEae2f8144b60d: Lukas Steven's more general fold foctions for maps.
Lukas Steven's more general fold foctions for maps
Tue, Jun 8, 5:02 PM
nipkow committed rISABELLE9db620f007fa: More general fold function for maps.
More general fold function for maps
Tue, Jun 8, 5:01 PM

Mon, Jun 7

makarius committed rISABELLE5153fad491f3: follow Phabricator update 2021 Week 23;.
follow Phabricator update 2021 Week 23;
Mon, Jun 7, 3:14 PM
makarius updated the post content for Blog Post: More predefined Isabelle symbols.
Mon, Jun 7, 2:57 PM
makarius created Blog Post: More predefined Isabelle symbols.
Mon, Jun 7, 2:56 PM
makarius created Blog Post: System options short form (e.g. "-o document").
Mon, Jun 7, 2:45 PM
makarius committed rISABELLE2a431e8bb9b4: tuned;.
tuned;
Mon, Jun 7, 2:41 PM
makarius committed rISABELLEaefa7d210725: more formal theory and session names;.
more formal theory and session names;
Mon, Jun 7, 2:41 PM
makarius committed rISABELLE201200b549fc: proper NEWS after Isabelle2021;.
proper NEWS after Isabelle2021;
Mon, Jun 7, 2:41 PM
makarius committed rISABELLE263dc905d795: updated descriptions;.
updated descriptions;
Mon, Jun 7, 1:05 PM
makarius committed rISABELLE5b49c650d413: tuned;.
tuned;
Mon, Jun 7, 11:48 AM
makarius committed rISABELLE72900f34dbb3: allow system option short form NAME for NAME=true for type string, not just….
allow system option short form NAME for NAME=true for type string, not just…
Mon, Jun 7, 11:48 AM
makarius committed rISABELLE6e9a47d3850c: more robust within session "HOL";.
more robust within session "HOL";
Mon, Jun 7, 11:48 AM

Sun, Jun 6

makarius committed rISABELLEc10fe904ac10: merged.
merged
Sun, Jun 6, 10:01 PM
makarius committed rISABELLE9ead8d9be3ab: clarified hook for Mirabelle: provide all loaded theories at once (for each….
clarified hook for Mirabelle: provide all loaded theories at once (for each…
Sun, Jun 6, 10:01 PM
makarius committed rISABELLE1192c68ebe1c: suppress theories from other sessions, unless explicitly specified via….
suppress theories from other sessions, unless explicitly specified via…
Sun, Jun 6, 10:01 PM
makarius committed rISABELLE745e2cd1f5f5: refer to theory "segments" only, according to global Build.build_theories and….
refer to theory "segments" only, according to global Build.build_theories and…
Sun, Jun 6, 10:01 PM
makarius committed rISABELLE60214976d846: tuned;.
tuned;
Sun, Jun 6, 10:01 PM