- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Jan 24 2023
Jan 24 2023
Fabian Huch <huch@in.tum.de> committed rAFP8c56f5c6b995: cleanup accidental unused document files;.
cleanup accidental unused document files;
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPf71500561ddd: new entry StrictOmegaCategories.
new entry StrictOmegaCategories
Fabian Huch <huch@in.tum.de> committed rAFP8f3963fc318e: check ROOTs: add warning-only checks;.
check ROOTs: add warning-only checks;
Fabian Huch <huch@in.tum.de> committed rAFPbe286bc20358: add ROOT checks for document presence and unused files;.
add ROOT checks for document presence and unused files;
Fabian Huch <huch@in.tum.de> committed rAFPe1994f6b8765: update bibtex example;.
update bibtex example;
Fabian Huch <huch@in.tum.de> committed rAFPcf0f60410d41: afp-submit visual improvements;.
afp-submit visual improvements;
paulson <lp15@cam.ac.uk> committed rAFP5ed170d26665: sitegen for AOT.
sitegen for AOT
nipkow committed rAFP086e65efb46c: New entry: Propositional_Logic_Class.
New entry: Propositional_Logic_Class
paulson <lp15@cam.ac.uk> committed rAFP82485f4069a3: sitegen for Cook_Levin.
sitegen for Cook_Levin
paulson <lp15@cam.ac.uk> committed rAFP757cd45633e5: New entry AOT.
New entry AOT
paulson <lp15@cam.ac.uk> committed rAFPfd1706186cfd: Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious….
Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious…
paulson <lp15@cam.ac.uk> committed rAFP15cc700782ed: New entry Cook_Levin.
New entry Cook_Levin
paulson <lp15@cam.ac.uk> committed rAFP30d87b385d1b: Sorry — extra files for Boolos_Curious_Inference_Automated.
Sorry — extra files for Boolos_Curious_Inference_Automated
nipkow committed rAFPe33b36de67b6: New entry: Synthetic_Completeness.
New entry: Synthetic_Completeness
paulson <lp15@cam.ac.uk> committed rAFPffdd481ec642: New entry Boolos_Curious_Inference_Automated.
New entry Boolos_Curious_Inference_Automated
nipkow committed rAFP77385ec30deb: New entry Birkhoff_Finite_Distributive_Lattices.
New entry Birkhoff_Finite_Distributive_Lattices
nipkow committed rAFP81dc779aa4f6: New entry: Quantifier_Elimination_Hybrid.
New entry: Quantifier_Elimination_Hybrid
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP448ffe79d636: sitegen for Kneser_Cauchy_Davenport.
sitegen for Kneser_Cauchy_Davenport
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2202fa913caa: sitegen for Turan.
sitegen for Turan
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP784beb76e81b: metadata for Kneser_Cauchy_Davenport.
metadata for Kneser_Cauchy_Davenport
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP5afdc1fb29fe: new entry: Kneser_Cauchy_Davenport.
new entry: Kneser_Cauchy_Davenport
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP2e81f7e68084: added metadata for Turans graph theorem.
added metadata for Turans graph theorem
new entry Multitape_To_Singletape_TM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPedfa39d8f358: new entry: Turans Graph Theorem.
new entry: Turans Graph Theorem
Fabian Huch <huch@in.tum.de> committed rAFP9d7a4bb4c4c7: removed static pages from rss feed;.
removed static pages from rss feed;
paulson <lp15@cam.ac.uk> committed rAFPe4b0db223808: sitegen for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Sauer_Shelah_Le….
sitegen for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Sauer_Shelah_Le…
paulson <lp15@cam.ac.uk> committed rAFP962b39db2ea2: New entry Sauer_Shelah_Lemma.
New entry Sauer_Shelah_Lemma
paulson <lp15@cam.ac.uk> committed rAFP7ad5b3b42714: Minor rerating of the abstract of Sauer_Shelah_Lemma.
Minor rerating of the abstract of Sauer_Shelah_Lemma
paulson <lp15@cam.ac.uk> committed rAFP744bc08e5559: sitegen for the aforementioned changes.
sitegen for the aforementioned changes
paulson <lp15@cam.ac.uk> committed rAFPe32f62f09a5c: CHERI-C_Memory_Model patch & metadata.
CHERI-C_Memory_Model patch & metadata
paulson <lp15@cam.ac.uk> committed rAFP859ca93a6501: New submission CHERI-C_Memory_Model.
New submission CHERI-C_Memory_Model
paulson <lp15@cam.ac.uk> committed rAFPa289908c1dc9: adjustments to the abstract, requested by the author.
adjustments to the abstract, requested by the author
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP3d36623c6b42: metadata and sitegen for PAPP_Impossibility.
metadata and sitegen for PAPP_Impossibility
fixed broken abstract for PAPP_Impossibility
Fabian Huch <huch@in.tum.de> committed rAFPc35d3a21bdeb: updated docs;.
updated docs;
Fabian Huch <huch@in.tum.de> committed rAFP05fbf155c600: improve page layout slightly;.
improve page layout slightly;
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPe847e0ae6e76: remove dead code.
remove dead code
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP19511710a590: new entry PAPP_Impossibility.
new entry PAPP_Impossibility
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP43822ae262d7: metadata and sitegen for Balog_Szemeredi_Gowers.
metadata and sitegen for Balog_Szemeredi_Gowers
Fabian Huch <huch@in.tum.de> committed rAFP7c35ca18de56: remove old .sitegen-ignore and mention AFP chapter in submission guidelines;.
remove old .sitegen-ignore and mention AFP chapter in submission guidelines;
Fabian Huch <huch@in.tum.de> committed rAFP574e7b39ce67: afp_check_roots: proper error message printing;.
afp_check_roots: proper error message printing;
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP91090ec4049a: new entry: Balog_Szemeredi_Gowers.
new entry: Balog_Szemeredi_Gowers
Fabian Huch <huch@in.tum.de> committed rAFPf884fa0d7a78: make check roots tool less dependent on AFP structure;.
make check roots tool less dependent on AFP structure;
nipkow committed rAFP281f4207a7e7: web for Combinatorial_Enumeration_Algorithms.
web for Combinatorial_Enumeration_Algorithms
Fabian Huch <huch@in.tum.de> committed rAFPa6457a3f85d8: tuned check names;.
tuned check names;
nipkow committed rAFP637b3599cda6: sitegen for Combinatorial_Enumeration_Algorithms.
sitegen for Combinatorial_Enumeration_Algorithms
nipkow committed rAFPf83f530c4b47: New entry Combinatorial_Enumeration_Algorithms.
New entry Combinatorial_Enumeration_Algorithms
Fabian Huch <huch@in.tum.de> committed rAFP8668822cee79: fix duplicate affiliations from author and notify;.
fix duplicate affiliations from author and notify;
Fabian Huch <huch@in.tum.de> committed rAFPdea38bffa477: check for entries instead of session due to session nesting allowed in entries;.
check for entries instead of session due to session nesting allowed in entries;
Fabian Huch <huch@in.tum.de> committed rAFP3c67738ceaa2: add metadata check tool to sitegen;.
add metadata check tool to sitegen;
Fabian Huch <huch@in.tum.de> committed rAFP86c85aea4b83: added unused thy check;.
added unused thy check;
Fabian Huch <huch@in.tum.de> committed rAFP08c77145d2d4: update check tools: add formatting checks, new cmd options;.
update check tools: add formatting checks, new cmd options;
Fabian Huch <huch@in.tum.de> committed rAFPca43dc336328: afp-submit: tuned logging;.
afp-submit: tuned logging;
Fabian Huch <huch@in.tum.de> committed rAFP253533a603e3: afp-submit: encode new notify addresses properly;.
afp-submit: encode new notify addresses properly;
Fabian Huch <huch@in.tum.de> committed rAFP43503a55dbad: clarified check roots tool;.
clarified check roots tool;
Fabian Huch <huch@in.tum.de> committed rAFPe8b08d471fc8: re-format metadata;.
re-format metadata;
Fabian Huch <huch@in.tum.de> committed rAFP1ae3c6cfde77: afp-submit: remove padding on select;.
afp-submit: remove padding on select;
Fabian Huch <huch@in.tum.de> committed rAFP7d8e3591aa0d: afp-submit: correct build status on empty file;.
afp-submit: correct build status on empty file;
Fabian Huch <huch@in.tum.de> committed rAFP1885292283fe: afp-submit: update on correct status change;.
afp-submit: update on correct status change;
Fabian Huch <huch@in.tum.de> committed rAFPaa91117e48cf: afp-submit: clarified date format, tuned logging;.
afp-submit: clarified date format, tuned logging;
Fabian Huch <huch@in.tum.de> committed rAFP164aa0056a2d: switch fonts to www prefixed isa-afp.org domain;.
switch fonts to www prefixed isa-afp.org domain;
Fabian Huch <huch@in.tum.de> committed rAFPabfd82b150f6: clarified afp-submit error handling;.
clarified afp-submit error handling;
Fabian Huch <huch@in.tum.de> committed rAFP2f4e11acf6a0: switch to www prefixed isa-afp.org domain;.
switch to www prefixed isa-afp.org domain;
Fabian Huch <huch@in.tum.de> committed rAFPa7f664314a45: clarified afp-submit creation and message;.
clarified afp-submit creation and message;
Fabian Huch <huch@in.tum.de> committed rAFPa338559ef142: list submission system website;.
list submission system website;
Fabian Huch <huch@in.tum.de> committed rAFPc7ba56881098: afp-submit: clarified api urls;.
afp-submit: clarified api urls;
florian.haftmann committed rISABELLE5de3772609ea: generalized theory name: euclidean division denotes one particular division….
generalized theory name: euclidean division denotes one particular division…
florian.haftmann committed rAFPdb93f67adfd0: generalized theory name: euclidean division denotes one particular division….
generalized theory name: euclidean division denotes one particular division…
more efficient specification
Jan 23 2023
Jan 23 2023
makarius committed rISABELLE44f79689115d: more elementary command-line, following lib/Tools/components;.
more elementary command-line, following lib/Tools/components;
support remote operations;
clarified defaults;
more accurate options (amending 7e19dc018db9);
clarified defaults;
more modular shell script;
support remote download_file;
tuned: drop redundant "expand";
makarius committed rISABELLE86ace3c45837: more uniform options for "curl", following lib/Tools/components;.
more uniform options for "curl", following lib/Tools/components;
desharna committed rISABELLEe293216df994: added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp.
added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp
desharna committed rISABELLE1c358879bfd3: proper name for lemma totalp_on_total_on_eq.
proper name for lemma totalp_on_total_on_eq
paulson <lp15@cam.ac.uk> committed rAFP95ab3b6c963f: Removal of more unused material.
Removal of more unused material
paulson <lp15@cam.ac.uk> committed rAFPc8f289838f39: Small simplifications. Removed a needless assumption..
Small simplifications. Removed a needless assumption.
update to jdk-17.0.6;
avoid odd suffix in published HTML library;
Jan 22 2023
Jan 22 2023
tuned signature: avoid aliases;
clarified modules (again, in contrast to f8f065e20837);
support IPC via database server;