Advanced Search
Use Results
Edit Query
Hide Query

kleing committed rAFP7dde2c633ece: adjust to Ergodic_Theory changes.

adjust to Ergodic_Theory changes

kleing committed rAFP0b7b6eb56c31: merge from afp-2020.

merge from afp-2020

kleing committed rAFP220cf8d8d032: new entry Laws_of_Large_Numbers.

new entry Laws_of_Large_Numbers

kleing committed rAFP9a6ed530ce81: update stats for 2021 release version.

update stats for 2021 release version

Feb 2 2021

kleing committed rAFPf9be8b09e21b: merge from afp-2021.

merge from afp-2021

Feb 2 2021, 10:53 PM

kleing committed rAFP07ea995a6665: merge from afp-2020.

merge from afp-2020

Feb 2 2021, 10:53 PM

Jan 24 2021

kleing committed rAFPeb0cc2599588: adjustments for Word_Lib updates.

adjustments for Word_Lib updates

Jan 24 2021, 10:33 AM

kleing committed rAFP2332e6e5e05e: sync with l4v.

sync with l4v

Jan 24 2021, 10:33 AM

kleing committed rAFP6bb5c735fb18: allow instance for nat.

allow instance for nat

Jan 24 2021, 7:39 AM

kleing committed rAFP824ba5ec1ce6: merge from afp-2020.

merge from afp-2020

Jan 24 2021, 3:12 AM

Jan 17 2021

kleing committed rAFP21348d1ad4c9: sync Word_Lib with l4v.

sync Word_Lib with l4v

Jan 17 2021, 10:52 PM

Jan 15 2021

kleing committed rAFP601908994b57: Word_Lib: spelling.

Word_Lib: spelling

Jan 15 2021, 8:12 AM

Jan 13 2021

kleing committed rAFPf7ada09942ba: merge from afp-2020.

merge from afp-2020

Jan 13 2021, 12:38 AM

kleing committed rAFP52bcf666e8c7: CSP_RefTK: adjust for Isabelle 1105c42722dc.

CSP_RefTK: adjust for Isabelle 1105c42722dc

Jan 13 2021, 12:38 AM

Dec 9 2020

kleing committed rAFP8442fc1cb727: Relational_Method: adjustments for isabelle f0fa51227a23.

Relational_Method: adjustments for isabelle f0fa51227a23

kleing committed rAFPc0f91ac420e7: merge from afp-2020.

merge from afp-2020

kleing committed rAFPcd33914660a2: regenerate website with new bibtex.

regenerate website with new bibtex

kleing committed rAFP8234453a0f91: Use HTTPS in BibTeX URLs (by Martin Desharnais).

Use HTTPS in BibTeX URLs (by Martin Desharnais)

kleing committed rAFP91ca4136b53f: merge from afp-2020.

merge from afp-2020

kleing committed rAFP058bb35d2e69: adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23.

adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23

kleing committed rAFPb33e4e32b4ec: merge.

merge

kleing committed rAFP5728774bf660: fix sitegen warning.

fix sitegen warning

kleing committed rAFPc739e71fd6ff: new entry Finite-Map-Extras.

new entry Finite-Map-Extras

Nov 27 2020

kleing committed rAFP11e9abcf7366: 2 new devel entries: DOM_Components and Shadow_DOM.

2 new devel entries: DOM_Components and Shadow_DOM

Nov 27 2020, 8:59 AM

kleing committed rAFP707413df05fd: merge from afp-2020.

merge from afp-2020

Nov 27 2020, 7:55 AM

Sep 8 2020

kleing committed rAFP2fb39c7dd7ff: merge from afp-2020.

merge from afp-2020

Sep 8 2020, 7:15 AM

Jul 14 2020

kleing committed rAFP8c7430699dc1: merge from afp-2020.

merge from afp-2020

Jul 14 2020, 4:40 AM

kleing committed rAFPc645808bafa7: update maintenance docs.

update maintenance docs

Jul 14 2020, 4:40 AM

Jul 1 2020

kleing committed rAFPec1d5c638a9d: merge from afp-2020.

merge from afp-2020

Jul 1 2020, 4:02 AM

kleing committed rAFPe4d6b7cae35c: Update history commit links to Heptapod.

Update history commit links to Heptapod

Jul 1 2020, 4:02 AM

kleing committed rAFPb29dde548f6b: Error message update.

Error message update

Jul 1 2020, 3:12 AM

kleing committed rAFP4d18e0481131: merge from afp-2020.

merge from afp-2020

Jul 1 2020, 3:12 AM

kleing committed rAFPc6e3efe2d729: One more instance of Bitbucket in README.

One more instance of Bitbucket in README

kleing committed rAFPd3f602e38421: remove Bitbucket from website.

remove Bitbucket from website

kleing committed rAFP331165f0b57c: Update editor instructions for Heptapod + clarifications.

Update editor instructions for Heptapod + clarifications

kleing committed rAFP0519b84e33aa: Convert maintenance instructions to Heptapod.

Convert maintenance instructions to Heptapod

kleing committed rAFPd78aafccfd60: Update README to Heptapod.

Update README to Heptapod

kleing committed rAFP9dfda1e96dc6: Point publish script to heptapod.

Point publish script to heptapod

Jun 29 2020

kleing committed rAFP87644ed179f4: Further Bitbucket -> Heptapod docs update.

Further Bitbucket -> Heptapod docs update

Jun 29 2020, 2:39 PM

kleing committed rAFP3b5ff4b8d37d: Closing branch "devel".

Closing branch "devel"

Jun 29 2020, 6:10 AM

kleing committed rAFPa35807f8a56e: merge.

merge

Jun 29 2020, 6:05 AM

kleing committed rAFPc0032d11a990: Bitbucket -> Heptapod.

Bitbucket -> Heptapod

Jun 29 2020, 6:00 AM

kleing committed rAFP238b15a87fd2: Update README for Heptapod.

Update README for Heptapod

Jun 29 2020, 4:47 AM

Jun 26 2020

kleing committed rAFPf4d20b0c2eeb: merge from afp-2020.

merge from afp-2020

kleing committed rAFP171e9088949c: point download link to Heptapod.

point download link to Heptapod

kleing committed rAFP7bb6f0ef78aa: merged.

merged

kleing committed rAFPffad850319cf: Heptapod acknowledgements.

Heptapod acknowledgements

kleing committed rAFP50490f5bdc82: merge from afp-2020.

merge from afp-2020

Jun 26 2020, 3:50 AM

kleing committed rAFP7904a23154fd: adapted to Isabelle 80d7f004089d.

adapted to Isabelle 80d7f004089d

kleing committed rAFP32c1aff4de5d: adapted to Isabelle 80d7f004089d.

adapted to Isabelle 80d7f004089d

kleing committed rAFP0426e5a56075: Heptapod acknowledgements.

Heptapod acknowledgements

kleing committed rAFPc3ce5c83ccb4: new entries.

new entries

May 17 2020

kleing committed rAFP78e7e62b73bd: merge from afp-2020.

merge from afp-2020

May 17 2020, 10:41 AM

kleing committed rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03.

adapt to Isabelle 07c85c68ff03

May 17 2020, 10:41 AM

Apr 29 2020

kleing committed rAFP71bf77101d31: merge from afp-2020.

merge from afp-2020

Apr 29 2020, 5:25 AM

kleing committed rAFP35a3e96d1e61: sitegen with mathjax.

sitegen with mathjax

Apr 29 2020, 5:25 AM

Apr 21 2020

kleing committed rAFPea64af8304a7: merge from afp-2020.

merge from afp-2020

kleing committed rAFP91f1cdbeefc0: AFP-2020 website.

AFP-2020 website

kleing committed rAFP311700300c7c: register 2020 entry releases.

kleing committed rAFP8ffca9ca3c99: remove dependency on Complex_Main.

remove dependency on Complex_Main

kleing committed rAFPe89008fdf2dc: regenerate website.

regenerate website

kleing committed rAFP1b216897a050: update release dates for Isabelle2020.

update release dates for Isabelle2020

kleing committed rAFP1dfa8708ac1c: declare missing session dependency.

declare missing session dependency

Apr 13 2020

kleing committed rAFP5978c17604c0: merge from afp-2020.

merge from afp-2020

kleing committed rAFPe39f7649d57a: merged from afp-2019.

merged from afp-2019

kleing committed rAFP9449ae539c8a: adapted to Isabelle2020-RC5.

adapted to Isabelle2020-RC5

kleing committed rAFP92b287f467d0: merged commit from afp-devel.

merged commit from afp-devel

kleing committed rAFPb3fb5b59b92e: 2019 -> 2020 in docs.

2019 -> 2020 in docs

kleing committed rAFP2df1c25ed806: set version to 2020.

set version to 2020

kleing committed rAFPd2b8bb8390f7: update tar.gz releases.

update tar.gz releases

kleing added a reverting change for rAFP9bd18ac101a7: elimination of some aliases, etc.: rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.

kleing committed rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.

Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020

kleing added a reverting change for rAFP6bdf58e7175e: elimination of some aliases: rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.

kleing added a reverting change for rAFP4424bf5e28e0: more fixes for alias issues (which for Auto2 means giving up): rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.