Advanced Search
Use Results
Edit Query
Hide Query

makarius committed rISABELLE16e5870fe21e: more antiquotations;.

more antiquotations;

makarius committed rISABELLE45a77ee63e57: more antiquotations;.

more antiquotations;

makarius committed rISABELLEabc878973216: clarified antiquotation;.

clarified antiquotation;

makarius committed rISABELLEac130a6bd6b2: more antiquotations;.

more antiquotations;

makarius committed rISABELLE9a9326a072bb: more antiquotations;.

more antiquotations;

makarius committed rISABELLEee04dc00bf0a: more antiquotations;.

more antiquotations;

makarius committed rISABELLE54279cfcf037: more antiquotations;.

more antiquotations;

makarius committed rISABELLE39c98371606f: tuned;.

tuned;

makarius committed rISABELLEb2ad24b5a42c: more antiquotations;.

more antiquotations;

makarius committed rISABELLEb83fa8f3a271: ML antiquotations for type constructors and term constants;.

ML antiquotations for type constructors and term constants;

makarius committed rISABELLE8d1e27a23dd1: clarified order of extra TFrees: underlying fast_string_ord coincides with Name..

Sep 10 2021

makarius committed rISABELLE7492cd35782e: tuned;.

tuned;

Sep 10 2021, 11:19 PM

makarius committed rISABELLE1fc263b5aac1: NEWS;.

NEWS;

Sep 10 2021, 11:03 PM

makarius committed rISABELLEf79dfc7656ae: miscellaneous examples and experiments for Isabelle/Pure;.

miscellaneous examples and experiments for Isabelle/Pure;

Sep 10 2021, 10:47 PM

makarius committed rISABELLE641300b56ebe: tuned comments;.

tuned comments;

Sep 10 2021, 9:57 PM

makarius committed rAFPcb975509a607: eliminated Specification.definition', following Isabelle/6876e3d5e362;.

eliminated Specification.definition', following Isabelle/6876e3d5e362;

Sep 10 2021, 9:41 PM

makarius committed rAFP72c37b1f419b: clarified signature: more scalable operations, according to….

clarified signature: more scalable operations, according to…

Sep 10 2021, 9:41 PM

clarified order of extra TFrees: underlying fast_string_ord coincides with Name.

makarius committed rISABELLE019fe8238656: NEWS;.

NEWS;

makarius committed rISABELLE6876e3d5e362: unused;.

unused;

makarius committed rISABELLE7829d6435c60: more scalable operations;.

more scalable operations;

makarius committed rISABELLEc2ee8d993d6a: clarified signature: more scalable operations;.

clarified signature: more scalable operations;

makarius committed rISABELLE42db84eaee2d: clarified order of extra type variables, following names more often than….

clarified order of extra type variables, following names more often than…

makarius committed rISABELLE7466b17b0820: more scalable operations;.

more scalable operations;

makarius committed rISABELLEa123db647573: clarified signature;.

clarified signature;

makarius committed rISABELLE8cff7900871f: tuned;.

tuned;

makarius committed rISABELLE57b323e20763: more scalable operations;.

more scalable operations;

makarius committed rISABELLEaed955bb4cb1: omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused;.

omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused;

Sep 9 2021

makarius committed rISABELLE36f2c4a5c21b: clarified signature;.

clarified signature;

makarius committed rISABELLE64be5f224462: clarified signature;.

clarified signature;

makarius committed rISABELLE0a4cdf0036a0: more robust: client could have terminated already;.

more robust: client could have terminated already;

makarius committed rISABELLE0f3ca0cd8071: clarified signature;.

clarified signature;

makarius committed rISABELLEf084d599bb44: clarified set of items with order of addition;.

clarified set of items with order of addition;

makarius committed rISABELLEad2899cdd528: clarified modules;.

clarified modules;

makarius committed rISABELLE5c110ac28dcf: tuned whitespace;.

tuned whitespace;

makarius committed rISABELLEd01920a8b082: tuned message;.

tuned message;

makarius committed rISABELLE612b7e0d6721: clarified signature;.

clarified signature;

makarius committed rISABELLE04214caeb9ac: simplified: uniqueness check happens in export_consumer;.

simplified: uniqueness check happens in export_consumer;

makarius committed rISABELLE633fe7390c97: tuned;.

tuned;

makarius committed rAFPa265f0b030f3: clarified signature, according to Isabelle/612b7e0d6721;.

clarified signature, according to Isabelle/612b7e0d6721;

Sep 9 2021, 8:42 PM

Sep 7 2021

makarius committed rAFP0608aee85535: tuned signature, according to Isabelle/839a6e284545;.

tuned signature, according to Isabelle/839a6e284545;

makarius committed rISABELLEbe49c660ebbf: more markup, e.g. to locate defining theory node in formal document output;.

more markup, e.g. to locate defining theory node in formal document output;

makarius committed rISABELLE839a6e284545: tuned signature;.

tuned signature;

makarius committed rISABELLEd28a51dd9da6: export other entities, e.g. relevant for formal document output;.

export other entities, e.g. relevant for formal document output;

makarius committed rISABELLEbb37fb85d82c: pointer_eq_ord: minor performance tuning;.

pointer_eq_ord: minor performance tuning;

makarius committed rISABELLEe942eedd9229: more reactive interrupt;.

more reactive interrupt;

makarius committed rISABELLE6d48d6ba58df: more robust: progress.stopped means that build has failed;.

more robust: progress.stopped means that build has failed;

makarius committed rISABELLEbda7a7b3bd41: more reactive interrupt;.

more reactive interrupt;

makarius committed rISABELLE0ba3952f409a: more robust: retain length of results;.

more robust: retain length of results;

makarius committed rISABELLEe117e0c29204: more reactive interrupt;.

more reactive interrupt;

makarius committed rISABELLE53e1a14e2ef1: tuned signature;.

tuned signature;

makarius committed rISABELLE45dc9de1bd33: tuned signature;.

tuned signature;

makarius committed rISABELLE3300847d75ae: tuned signature;.

tuned signature;

makarius committed rISABELLEe6f1990c4d34: tuned;.

tuned;

makarius committed rAFP301f0280d6c6: avoid hardwired document;.

avoid hardwired document;

Sep 7 2021, 11:05 AM

makarius committed rAFP4ed6e19f5983: merged.

merged

makarius committed rAFP9a1fa4cf1287: tuned signature, according to Isabelle/9d9e7ed01dbb;.

tuned signature, according to Isabelle/9d9e7ed01dbb;

makarius committed rAFP723c9dd87715: clarified signature, according to Isabelle/9d9e7ed01dbb;.

clarified signature, according to Isabelle/9d9e7ed01dbb;

makarius committed rAFP33062a15318c: clarified signature, according to Isabelle/9d9e7ed01dbb;.

clarified signature, according to Isabelle/9d9e7ed01dbb;

makarius committed rAFP5a2b8f5e016e: clarified signature, according to Isabelle/9d9e7ed01dbb;.

clarified signature, according to Isabelle/9d9e7ed01dbb;

makarius committed rAFPce490469c76e: simplified, using Isabelle/ML operations;.

simplified, using Isabelle/ML operations;

makarius committed rAFPa815068160f3: adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for….

adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for…

makarius committed rAFP9a6a94253c8d: more scalable operations;.

more scalable operations;

makarius committed rAFPaf371b9b111d: tuned whitespace;.

tuned whitespace;

makarius committed rISABELLE9d9e7ed01dbb: clarified modules;.

clarified modules;

makarius committed rISABELLEcbbd08df65bd: merged.

merged

makarius committed rISABELLEea9f2cb22e50: more scalable operations;.

more scalable operations;

makarius committed rISABELLEa88fda85bd25: more scalable operations;.

more scalable operations;

makarius committed rISABELLE5d2b87226cd1: tuned;.

tuned;

makarius committed rISABELLE12dac3698efd: clarified signature;.

clarified signature;

makarius committed rISABELLE282cd3aa6cc6: clarified modules;.

clarified modules;

makarius committed rISABELLE5e3f4efa87f9: unused;.

unused;

makarius committed rISABELLEde383840425f: more scalable operations;.

more scalable operations;

makarius committed rISABELLEeb265f54e3ce: more efficient operations: traverse hyps only when required;.

more efficient operations: traverse hyps only when required;

makarius committed rISABELLEa810e8f2f2e9: unused;.

unused;

makarius committed rISABELLE36774e8af3db: more robust signature: result has no particular order;.

more robust signature: result has no particular order;

makarius committed rISABELLE914a214e110e: more scalable operations;.

more scalable operations;

makarius committed rISABELLEef74cf118da3: clarified;.

clarified;

makarius committed rISABELLEdbaed92fd8af: tuned signature;.

tuned signature;

makarius committed rISABELLE4426b52eabb4: more scalable operations;.

more scalable operations;

makarius committed rISABELLE9eff7c673b42: more scalable operations;.

more scalable operations;

makarius committed rISABELLE4f2bd13edce3: clarified signature;.

clarified signature;

makarius committed rISABELLE1091880266e5: clarified signature;.

clarified signature;

makarius committed rISABELLEb3c65c984210: tuned signature;.

tuned signature;

makarius committed rISABELLE76ac4dbb0a22: more scalable operations;.

more scalable operations;

makarius committed rISABELLEd637611b41bd: more scalable operations;.

more scalable operations;

makarius committed rISABELLEc22e5bdb207d: more scalable operations;.

more scalable operations;

makarius committed rISABELLEfdcc7e8f95ea: more scalable operations;.

more scalable operations;

Sep 4 2021

makarius committed rAFP34eccbb60a01: proper inst table;.

proper inst table;

Sep 4 2021, 12:44 AM

Sep 3 2021

makarius committed rISABELLEbf595bfbdc98: tuned;.

tuned;

makarius committed rISABELLE291e71ed0174: proper inst table;.

proper inst table;

makarius committed rISABELLEc49134ee16c1: more scalable data structure (but: rarely used many arguments);.

more scalable data structure (but: rarely used many arguments);

makarius committed rISABELLE1d25be2353e1: minor performance tuning: fewer allocations;.

minor performance tuning: fewer allocations;

Aug 31 2021

makarius committed rISABELLE8798edfc61ef: tuned;.

tuned;

Aug 31 2021, 2:50 PM

Aug 30 2021

makarius committed rISABELLE736374547a7f: more Isabelle/Haskell operations;.

more Isabelle/Haskell operations;

makarius committed rISABELLEa308ed696b58: more Isabelle/Haskell operations;.

more Isabelle/Haskell operations;

makarius committed rISABELLEe16ac8907148: tuned signature;.

tuned signature;

makarius committed rISABELLE7515abfe18cf: avoid change of existing file, notably rebuild via ghc_stack;.

avoid change of existing file, notably rebuild via ghc_stack;