Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE8b0dbfbde032: Added tag Isabelle2022-RC0 for changeset b42e20adaeed.
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
Mon, Aug 8, 9:06 PM
makarius committed rISABELLEb42e20adaeed: proper Java/Scala compiler classpath for standalone application (see also….
proper Java/Scala compiler classpath for standalone application (see also…
Mon, Aug 8, 9:06 PM
makarius created Blog Post: Release Candidates for Isabelle2022.
Mon, Aug 8, 9:06 PM
makarius committed rISABELLEe5c3353df22e: clarified message;.
clarified message;
Mon, Aug 8, 3:19 PM
makarius committed rISABELLE9e5e6e3c83d1: provide naproche-20220808 (inactive);.
provide naproche-20220808 (inactive);
Mon, Aug 8, 1:38 PM
makarius committed rISABELLE1c3c31319974: more robust data representation: notably for Store.read_session_timing with….
more robust data representation: notably for Store.read_session_timing with…
Mon, Aug 8, 11:59 AM

Sun, Aug 7

makarius committed rISABELLE5e00c5ffc040: tuned message;.
tuned message;
Sun, Aug 7, 11:09 PM
makarius committed rISABELLE4e273b4e04e8: afford default cache policy, despite 6a29709906c6;.
afford default cache policy, despite 6a29709906c6;
Sun, Aug 7, 8:44 PM
makarius committed rISABELLEfb12433208aa: tuned signature;.
tuned signature;
Sun, Aug 7, 7:30 PM
makarius committed rISABELLE0ab8a9177e41: clarified signature: more uniform treatment of cache for Export.read_session vs..
clarified signature: more uniform treatment of cache for Export.read_session vs.
Sun, Aug 7, 7:30 PM
makarius committed rISABELLE0132026e26eb: tuned signature;.
tuned signature;
Sun, Aug 7, 7:30 PM
makarius committed rISABELLE4827096caeb5: tuned;.
tuned;
Sun, Aug 7, 7:30 PM
makarius committed rISABELLEf9fcf06aa2eb: clarified signature;.
clarified signature;
Sun, Aug 7, 7:30 PM
makarius committed rISABELLEff6c1a82270f: clarified modules;.
clarified modules;
Sun, Aug 7, 7:30 PM
makarius committed rISABELLE16135603d9c7: merged.
merged
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEd31193963e2d: tuned;.
tuned;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEb33b19deca3a: clarified message;.
clarified message;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEdba571dd0ba9: clarified signature: prefer Export.Session_Context over Sessions..
clarified signature: prefer Export.Session_Context over Sessions.
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE0e5339342998: clarified signature: prefer Export.Context;.
clarified signature: prefer Export.Context;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEd18c96b9b955: prefer Export.Context/Session_Context/Theory_Context over Sessions..
prefer Export.Context/Session_Context/Theory_Context over Sessions.
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE5470c67bd772: clarified signature: prefer Export.Session_Context;.
clarified signature: prefer Export.Session_Context;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEf49c4f160b84: clarified signature: find session_database within Session_Context.db_hierarchy;.
clarified signature: find session_database within Session_Context.db_hierarchy;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEefc25bf4b795: discontinued Export.Provider in favour of Export.Context and its derivatives;.
discontinued Export.Provider in favour of Export.Context and its derivatives;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEed32b5554ed3: clarified signature;.
clarified signature;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE72e77c8307ec: tuned signature, following hints by IntelliJ IDEA;.
tuned signature, following hints by IntelliJ IDEA;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE70a65ee4a738: clarified signature: more robust treatment of server;.
clarified signature: more robust treatment of server;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE9dbcc4c66e1c: tuned signature: more operations;.
tuned signature: more operations;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE11b2bf6f90d8: clarified signature: less redundant -- Sessions.Base_Info already specifies the….
clarified signature: less redundant -- Sessions.Base_Info already specifies the…
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE26b71e1dd262: misc tuning and clarification;.
misc tuning and clarification;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE4d27b520622a: clarified database query: refer to semantic theories;.
clarified database query: refer to semantic theories;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE87f9748b214a: clarified signature: persistent theory_names in lexical order;.
clarified signature: persistent theory_names in lexical order;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEbe79948f7f23: clarified signature: more operations;.
clarified signature: more operations;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE62e2c6f65f9a: clarified Document.Snapshot.all_exports: refer to material from this (virtual)….
clarified Document.Snapshot.all_exports: refer to material from this (virtual)…
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEd795d8b59563: proper session_databases for database_server: need to follow precise….
proper session_databases for database_server: need to follow precise…
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE07e097f60b85: clarified signature: more robust close operation;.
clarified signature: more robust close operation;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEb10c3d9dd48a: redundant;.
redundant;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE8cf14d4ebec4: more uniform exports: proper encoding of empty parents for Pure;.
more uniform exports: proper encoding of empty parents for Pure;
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE2a0051496844: clarified session name: treat PIDE session as Sessions.DRAFT with imports from….
clarified session name: treat PIDE session as Sessions.DRAFT with imports from…
Sun, Aug 7, 9:19 AM
makarius committed rISABELLEf8be63d2ec6f: more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty….
more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty…
Sun, Aug 7, 9:19 AM
makarius committed rISABELLE985c3a64748c: clarified signature: more uniform treatment of empty exports;.
clarified signature: more uniform treatment of empty exports;
Sun, Aug 7, 9:19 AM