Normal (8)

makarius committed rISABELLEe249650504f3: tuned;.

tuned;

makarius committed rISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;.

prefer Isabelle.Bytes, based on ShortByteString;

makarius committed rISABELLEadaa2e9a4111: tuned signature: more generic operations;.

tuned signature: more generic operations;

makarius committed rISABELLEf81d2a1cad69: tuned signature;.

tuned signature;

makarius committed rISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);.

prefer UTF8 implementation from Data.Text.Encoding (foreign C);

yonoteam committed rAFP6beec57f7d3f: cleaner presentation of analysis theorems in preliminaries.

cleaner presentation of analysis theorems in preliminaries

Fri, Jul 30, 2:00 AM

Yesterday

Asta Halkjær From <andro.from@gmail.com> committed rAFPe1046d8be835: Update to new Epistemic_Logic.thy.

Update to new Epistemic_Logic.thy

Thu, Jul 29, 5:57 PM

Asta Halkjær From <andro.from@gmail.com> committed rAFP09d0f0e8b5f5: Avoid typedefs.

Avoid typedefs

Thu, Jul 29, 5:18 PM

desharna committed rISABELLE180ee02eb075: documented Mirabelle_Sledgehammer's new keep semantics.

documented Mirabelle_Sledgehammer's new keep semantics

Thu, Jul 29, 5:11 PM

desharna committed rISABELLEa2cbe81e1e32: changed Mirabelle_Sledgehammer keep option from path to boolean.

changed Mirabelle_Sledgehammer keep option from path to boolean

Thu, Jul 29, 8:45 AM

Wed, Jul 28

desharna committed rISABELLEb93d8c2ebab0: added automatic uniform stride option to Mirabelle.

added automatic uniform stride option to Mirabelle

Wed, Jul 28, 9:16 PM

desharna committed rISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b.

fixed HOL-ex following a5bab59d580b

Wed, Jul 28, 10:21 AM

desharna committed rISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output.

added support for TFX $let to Sledgehammer's TPTP output

Wed, Jul 28, 10:05 AM

Tue, Jul 27

desharna committed rISABELLE6c8473b4f518: fixed TFX generation when universal quantifier is used as term.

fixed TFX generation when universal quantifier is used as term

Tue, Jul 27, 8:41 PM

desharna committed rISABELLE2af4e088c01c: merged.

merged

Tue, Jul 27, 8:41 PM

makarius committed rISABELLEdc98bb7a439b: merged.

merged

Tue, Jul 27, 4:10 PM

makarius committed rISABELLEa69a13c4b049: support for native symlinks on Windows;.

support for native symlinks on Windows;

Tue, Jul 27, 4:10 PM

makarius committed rISABELLEb25b7c264a93: various improvements of "isabelle scala_project";.

various improvements of "isabelle scala_project";

Tue, Jul 27, 4:10 PM

desharna committed rISABELLEffbd1b7e5439: tuned Mirabelle's theory selection.

tuned Mirabelle's theory selection

Tue, Jul 27, 1:40 PM

kleing committed rAFPd4dfaca0753b: Clean: set AFP standard document options.

Clean: set AFP standard document options

kleing committed rAFPf775ffffa43c: Clean: re-add to chapter AFP.

Clean: re-add to chapter AFP

kleing committed rAFP3ccdf21c5bb4: merge from afp-2021.

merge from afp-2021

paulson <lp15@cam.ac.uk> committed rAFP62ea872d1534: Finitely_Generated_Abelian_Groups website.

Finitely_Generated_Abelian_Groups website

paulson <lp15@cam.ac.uk> committed rAFP6f6a17c6bdde: new entry Finitely_Generated_Abelian_Groups.

new entry Finitely_Generated_Abelian_Groups

makarius committed rISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012….

Mon, Jul 26

pruvisto committed rAFPfdc94d7251ed: Added Finitely_Generated_Abelian_Groups to metadata.

Added Finitely_Generated_Abelian_Groups to metadata

Mon, Jul 26, 10:34 PM

makarius committed rISABELLE62e4ec8cff38: clarified signature;.

clarified signature;

Mon, Jul 26, 1:54 PM

makarius committed rISABELLE0b1462ce5fda: clarified signature;.

clarified signature;

Mon, Jul 26, 1:54 PM

Sun, Jul 25

makarius committed rISABELLEb3f072aa4690: updated for Isabelle2021 release;.

updated for Isabelle2021 release;

Sun, Jul 25, 4:38 PM

back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…

Sun, Jul 25, 4:21 PM

makarius committed rISABELLEff466b272267: clarified version: Apple now counts like 11, 12, ...;.

clarified version: Apple now counts like 11, 12, ...;

Sun, Jul 25, 4:21 PM

makarius committed rISABELLEd871882ad651: update to Haskell stack-2.7.3 and stackage lts-17.15;.

update to Haskell stack-2.7.3 and stackage lts-17.15;

Sun, Jul 25, 4:21 PM

Sat, Jul 24

makarius committed rISABELLE203dfa8bc0fc: clarified compiler output: allow multithreaded execution;.

clarified compiler output: allow multithreaded execution;

makarius committed rISABELLE4dbac13d89a5: clarified signature;.

clarified signature;

makarius committed rISABELLE8cd746a5c291: clarified signature: more operations;.

clarified signature: more operations;

makarius committed rISABELLE55505e7bbfb3: clarified props: more permissive;.

clarified props: more permissive;

makarius committed rISABELLE22ad3ac2152c: clarified properties: "module" and "no_build";.

clarified properties: "module" and "no_build";