Advanced Search
Use Results
Edit Query
Hide Query

kleing committed rAFP42f0db2df385: restore state of VYDRA_MDL to b8c3f69745a4.

restore state of VYDRA_MDL to b8c3f69745a4

kleing added a reverting change for rAFPc9f94b0ae10e: New entry: VYDRA_MDL: rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.

kleing committed rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.

Backed out changeset c9f94b0ae10e

kleing committed rAFP26c4c8765120: Backed out changeset b8c3f69745a4.

Backed out changeset b8c3f69745a4

kleing added a reverting change for rAFPb8c3f69745a4: metadata update for VYDRA_MDL: rAFP26c4c8765120: Backed out changeset b8c3f69745a4.

Feb 12 2022

kleing committed rAFP3e0d4252153b: merge from afp-2021-1.

merge from afp-2021-1

Feb 12 2022, 11:22 PM

kleing committed rAFPbece356544f4: avoid conflict with index.html in generated html.

avoid conflict with index.html in generated html

Feb 12 2022, 11:22 PM

Jan 10 2022

kleing committed rAFPbcab7766727b: merge from afp-2021-1.

merge from afp-2021-1

Jan 10 2022, 1:43 AM

Dec 14 2021

kleing committed rAFP28e95145c4ac: merge from afp-2021-1.

merge from afp-2021-1

Dec 14 2021, 11:02 AM

kleing committed rAFPf6eab61b0d6a: add change history.

add change history

Dec 14 2021, 11:02 AM

kleing committed rAFP04c36da69e24: updated 2021-1 release dates -> web.

updated 2021-1 release dates -> web

Dec 14 2021, 11:02 AM

kleing committed rAFP9df0012013a7: merge from afp-2021-1.

merge from afp-2021-1

Dec 14 2021, 9:09 AM

kleing committed rAFPe57f56bb8585: ignore generated files.

ignore generated files

Dec 14 2021, 9:09 AM

kleing committed rAFP3a2f7458fbf0: add 2021-1 release dates.

add 2021-1 release dates

Dec 14 2021, 9:09 AM

Dec 13 2021

kleing committed rAFP723ed8c9c308: set devel version again.

set devel version again

kleing committed rAFP11f8b03a88ad: adjust usage version.

adjust usage version

kleing committed rAFP1e4f140c6a1c: Added tag Isabelle2021-1 for changeset 11f8b03a88ad.

Added tag Isabelle2021-1 for changeset 11f8b03a88ad

kleing committed rAFP1d08da6083dd: update release dates.

update release dates

kleing committed rAFP6b9b455d46d7: set release version.

set release version

kleing committed rAFP6b9424379e7b: merge from afp-2021-1.

merge from afp-2021-1

Dec 13 2021, 10:45 PM

kleing committed rAFPfbeba03cac70: merge from afp-2021-1.

merge from afp-2021-1

Dec 13 2021, 4:41 AM

kleing committed rAFP4e7664c3e01d: merge from afp-2021.

merge from afp-2021

Dec 13 2021, 4:41 AM

kleing committed rAFP471638a4827d: new entry Foundation_of_geometry.

new entry Foundation_of_geometry

Dec 13 2021, 4:41 AM

kleing committed rAFPc82e622e1e90: merge from afp-2021-1.

merge from afp-2021-1

kleing committed rAFP356167c73739: adjust for Isabelle2021-1-RC5.

adjust for Isabelle2021-1-RC5

kleing committed rAFP144417084760: merge from afp-2021.

merge from afp-2021

kleing committed rAFPc7ef8405c949: new entry Simplicial_complexes_and_boolean_functions.

new entry Simplicial_complexes_and_boolean_functions

Dec 12 2021

kleing committed rAFPe8154678b2e1: merge from afp-2021-1.

merge from afp-2021-1

Dec 12 2021, 6:56 AM

kleing committed rAFPdbff829158a8: merge from afp-2021.

merge from afp-2021

Dec 12 2021, 6:56 AM

kleing committed rAFPf57bbcb7a2a5: adjust to Isabelle2021-1-RC5.

adjust to Isabelle2021-1-RC5

Dec 12 2021, 6:56 AM

Dec 2 2021

kleing committed rAFP8dfc109e1ef5: merge from afp-2021-1.

merge from afp-2021-1

Dec 2 2021, 8:14 AM

kleing committed rAFP001657f3e9b5: adjust for new tags in Isabelle2021-1-RC4.

adjust for new tags in Isabelle2021-1-RC4

Dec 2 2021, 8:14 AM

Nov 16 2021

kleing committed rAFP7a2522dce834: Word_Lib sync from l4v; tweak word_eqI.

Word_Lib sync from l4v; tweak word_eqI

Nov 16 2021, 7:12 AM

kleing committed rAFP4735e2db8e29: generalise word_eqI method; make sure it is exercised.

generalise word_eqI method; make sure it is exercised

Nov 16 2021, 5:44 AM

kleing committed rAFP145a2429825e: test_bit_size not longer needed; avoid potential nontermination.

test_bit_size not longer needed; avoid potential nontermination

Nov 16 2021, 1:51 AM

kleing committed rAFP4723cbfda63e: Word_Lib tweaks for slightly more backwards compatibility.

Word_Lib tweaks for slightly more backwards compatibility

Nov 16 2021, 12:52 AM

kleing committed rAFP5d1795962da2: use bit_simps in word_eqI method.

use bit_simps in word_eqI method

Nov 16 2021, 12:52 AM

Nov 14 2021

kleing committed rAFP77ff7b87b75f: sync from l4v.

sync from l4v

Nov 14 2021, 11:06 AM

kleing committed rAFPa49f43a5e0f3: new entry PAL.

new entry PAL

Nov 14 2021, 9:59 AM

kleing committed rAFP0d7595fe5aed: new entry Factor_Algebraic_Polynomial.

new entry Factor_Algebraic_Polynomial

Nov 14 2021, 9:59 AM

kleing committed rAFP7c831b848ada: merge from afp-2021.

merge from afp-2021

Nov 14 2021, 4:10 AM

kleing committed rAFP6d3ed174962a: document `publish -`.

document `publish -`

Nov 14 2021, 4:10 AM

Oct 31 2021

kleing committed rAFP5a9bee294099: merge from afp-2021.

merge from afp-2021

kleing committed rAFPc386b94384f0: remove unused functions.

remove unused functions

kleing committed rAFP61c34194cb57: new entry X86_Semantics.

new entry X86_Semantics

kleing committed rAFP56cfc29507ba: silence sitegen warning.

silence sitegen warning

kleing committed rAFPf4d73fee73b5: adjust to isabelle@549019b4a808.

adjust to isabelle@549019b4a808

Oct 31 2021, 3:30 AM

kleing committed rAFP2505f556a339: merge from afp-2021.

merge from afp-2021

Oct 31 2021, 3:30 AM

Oct 14 2021

kleing committed rAFP323c29c97a1e: close merged branch.

close merged branch

Oct 14 2021, 1:25 AM

Oct 5 2021

kleing committed rAFPc4c97fa55b33: Complex_Bounded_Operators: update to isabelle@ffb15f7f26d5.

Complex_Bounded_Operators: update to isabelle@ffb15f7f26d5

kleing committed rAFPbc7f138a2252: merge from afp-2021.

merge from afp-2021

kleing committed rAFP91a58b10dae0: Weighted_Path_Order: update to isabelle@ffb15f7f26d5.

Weighted_Path_Order: update to isabelle@ffb15f7f26d5

kleing committed rAFP7bf14cdbe572: new entry FOL_Axiomatic.

new entry FOL_Axiomatic

kleing committed rAFPbdd9c91c0a28: add missing session dependency.

add missing session dependency

kleing committed rAFPf8bd219cedb2: minor editorial changes for CZH entries.

minor editorial changes for CZH entries

kleing committed rAFP58de046a39b6: regen website.

regen website

Sep 30 2021

kleing committed rAFPaf435c34b495: new entries by Mihails Milehins.

new entries by Mihails Milehins

Sep 30 2021, 2:33 PM

Jul 27 2021

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

Clean: set AFP standard document options

Jul 27 2021, 8:35 AM

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

Clean: re-add to chapter AFP

Jul 27 2021, 8:35 AM

kleing committed rAFP3ccdf21c5bb4: merge from afp-2021.

merge from afp-2021

Jul 27 2021, 8:35 AM

Jun 15 2021

kleing committed rAFP2e179108e08f: merge Jinja/Isar work.

merge Jinja/Isar work

Jun 15 2021, 2:56 AM

Jun 6 2021

kleing committed rAFP7858c60cc57a: merge from afp-2021.

merge from afp-2021

kleing committed rAFP98a8bdb85f79: merge from afp-2021.

merge from afp-2021

kleing committed rAFP4f1d55756b1a: suppress site-gen warning.

suppress site-gen warning

kleing committed rAFP5fb712317ba8: exclude etc/ in afp_check_roots.

exclude etc/ in afp_check_roots

kleing committed rAFPed3bf7f7bedc: update usage instrucions.

update usage instrucions

kleing committed rAFP52357a42c5e4: strip trailing whitespace; make full URL.

strip trailing whitespace; make full URL

May 28 2021

kleing committed rAFPaae69e3e9178: merge from afp-2021.

merge from afp-2021

May 28 2021, 11:29 AM

kleing committed rAFP33604ec4a9b0: update website.

update website

May 28 2021, 11:29 AM

kleing committed rAFP19021bb60d89: fix links.

fix links

May 28 2021, 11:29 AM

May 27 2021

kleing committed rAFP6605c2eb8bc8: merge from afp-2021.

merge from afp-2021

kleing committed rAFP6d986a7dc22b: make AFP ROOTS globally available for component.

make AFP ROOTS globally available for component

kleing committed rAFP55f94db4dfd0: adjust Combinatorics_Words to isabelle@493b1ae188da.

adjust Combinatorics_Words to isabelle@493b1ae188da

kleing committed rAFP17e46e9fdfda: merge from afp-2021.

merge from afp-2021

kleing committed rAFP0c83e74a221f: simplify usage instructions more.

simplify usage instructions more

kleing committed rAFPe5d26217ccd3: update affiliation.

update affiliation

May 17 2021

kleing committed rISABELLEac07f6be27ea: avoid unexpected output+behaviour when CDPATH is set.

avoid unexpected output+behaviour when CDPATH is set

May 17 2021, 5:58 AM

Apr 28 2021

kleing committed rAFPa3e47d69f0c9: regen website.

regen website

Apr 28 2021, 9:47 AM

Apr 19 2021

kleing committed rAFP556e4a005c15: sshiftr/bl lemmas by Florian Märkl.

sshiftr/bl lemmas by Florian Märkl

Apr 19 2021, 12:27 AM

Mar 29 2021

kleing committed rAFP693ae1ce0d54: merge from afp-2021.

merge from afp-2021

Mar 29 2021, 8:40 AM

Mar 15 2021

kleing committed rAFPf313b8e67312: add Andreas Lochbihler as editor.

add Andreas Lochbihler as editor

Mar 15 2021, 9:01 PM

Feb 26 2021

kleing committed rAFPca99cb5446f9: merge from afp-2021.

merge from afp-2021

Feb 26 2021, 11:27 AM

kleing committed rAFP59274460849c: merge from afp-2021.

merge from afp-2021

kleing committed rAFP47c06f8d5f2c: website update.

website update

kleing committed rAFP6fc43618aaf0: revert accidental change.

revert accidental change

kleing committed rAFPbe7b3ad01ba4: new entry BTree.

new entry BTree

kleing committed rAFP90fe8dfd1261: fix typo (Bauer -> Bayer).

fix typo (Bauer -> Bayer)

kleing committed rAFPa175903c09b5: add Windows example to use-instructions.

add Windows example to use-instructions

kleing committed rAFP3a0ed0e8fcfb: Isabelle app layout changed on Mac.

Isabelle app layout changed on Mac

kleing committed rAFP79150f043fa8: update with 2021 release .tar.gz's.

update with 2021 release .tar.gz's

kleing committed rAFPfc614d4bafa6: 2021 web pages.

2021 web pages

kleing committed rAFP4e172abaea0d: add Isabelle2021 release date.

add Isabelle2021 release date

kleing committed rAFP89b54e9a0be0: update .tar.gz releases.

update .tar.gz releases

kleing committed rAFP774ce640a08f: set version to 2021.

set version to 2021

Feb 11 2021

kleing committed rAFPfd1d5b3fdd7c: close branch.

close branch

kleing committed rAFPdaa87ea0470c: close branch.

close branch

kleing committed rAFP1f7a1c0d5fbb: merge from afp-2021.

merge from afp-2021

kleing committed rAFPf7321f5a8909: close branch.

close branch

kleing committed rAFPa040f98f10ef: close branch.

close branch