Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Today

Christian Urban <christian.urban@kcl.ac.uk> committed rAFP66e3dcab868b: updated the abstract in root.tex.
updated the abstract in root.tex
Tue, Jun 28, 3:28 PM
Christian Urban <christian.urban@kcl.ac.uk> committed rAFPae47c479a7c4: tuned.
tuned
Tue, Jun 28, 3:28 PM
Christian Urban <christian.urban@kcl.ac.uk> committed rAFP09f66a4ada38: added the r{..n} regular expression to the extensions directory.
added the r{..n} regular expression to the extensions directory
Tue, Jun 28, 3:28 PM
traytel committed rAFP969d123ac0b9: merged.
merged
Tue, Jun 28, 10:32 AM
traytel committed rAFP2500a913c1f2: tuned BNF bound.
tuned BNF bound
Tue, Jun 28, 10:32 AM
traytel committed rAFP5b2658c54443: strict bounds for BNFs (by Jan van Brügge).
strict bounds for BNFs (by Jan van Brügge)
Tue, Jun 28, 10:32 AM
traytel committed rISABELLE0dd3ac5fdbaa: tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS.
tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
Tue, Jun 28, 10:31 AM
traytel committed rISABELLE22d1c5f2b9f4: strict bounds for BNFs (by Jan van Brügge).
strict bounds for BNFs (by Jan van Brügge)
Tue, Jun 28, 10:31 AM

Yesterday

Fabian Huch <huch@in.tum.de> committed rAFPd82ee6eb9b17: replaced python RAKE component with Isabelle/Scala Rake component;.
replaced python RAKE component with Isabelle/Scala Rake component;
Mon, Jun 27, 8:35 PM
Fabian Huch <huch@in.tum.de> committed rAFPbee741e8e528: merge from afp-2021-1 (replaying devel commit).
merge from afp-2021-1 (replaying devel commit)
Mon, Jun 27, 8:35 PM
Fabian Huch <huch@in.tum.de> committed rAFP8a47690b85a0: remove scala tools from publish;.
remove scala tools from publish;
Mon, Jun 27, 8:35 PM
Fabian Huch <huch@in.tum.de> committed rAFP3f502f9f9cc7: replaced python RAKE component with Isabelle/Scala Rake component;.
replaced python RAKE component with Isabelle/Scala Rake component;
Mon, Jun 27, 8:23 PM

Sun, Jun 26

florian.haftmann committed rISABELLE7a6301d01199: More lemmas..
More lemmas.
Sun, Jun 26, 5:24 PM
florian.haftmann committed rISABELLE53b61706749b: Centralized some char-related lemmas in distribution..
Centralized some char-related lemmas in distribution.
Sun, Jun 26, 5:24 PM

Sat, Jun 25

makarius committed rAFP4968f5a0b474: avoid hardwired pdf;.
avoid hardwired pdf;
Sat, Jun 25, 6:42 PM
makarius committed rAFPf8a002855e5e: merged.
merged
Sat, Jun 25, 6:42 PM
makarius committed rAFP256787b32958: adapted to Isabelle/986506233812;.
adapted to Isabelle/986506233812;
Sat, Jun 25, 6:42 PM
makarius committed rISABELLEaeb412065742: prefer antiquotations;.
prefer antiquotations;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE85a7795675be: merged.
merged
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE44815dc2b8f9: clarified modules;.
clarified modules;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE9639c3867b86: more documentation;.
more documentation;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLEbe89ec4a4523: tuned whitespace;.
tuned whitespace;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE4494cd69f97f: clarified modules;.
clarified modules;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE986506233812: clarified signature: File.read_lines is based on scalable Bytes.T;.
clarified signature: File.read_lines is based on scalable Bytes.T;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE01b3da984e55: prefer scalable Bytes.T;.
prefer scalable Bytes.T;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE1b50bcd108b7: unused;.
unused;
Sat, Jun 25, 6:40 PM
makarius committed rISABELLE03ae0ba2aa9e: prefer scalable Bytes.T;.
prefer scalable Bytes.T;
Sat, Jun 25, 6:40 PM
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFPc7498ca83836: merged.
merged
Sat, Jun 25, 1:24 PM
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFP803497c3eac5: added an implementation of pseudo remainder sequences for calculating Tarski….
added an implementation of pseudo remainder sequences for calculating Tarski…
Sat, Jun 25, 1:22 PM
mathias.fleury committed rISABELLE66edc020a322: missing recursive let-expansion in SMT translation.
missing recursive let-expansion in SMT translation
Sat, Jun 25, 8:28 AM

Fri, Jun 24

desharna committed rISABELLEda901dcafc29: merged.
merged
Fri, Jun 24, 9:55 PM
desharna committed rISABELLE19ec8f844e08: added lemma monotone_on_o.
added lemma monotone_on_o
Fri, Jun 24, 9:55 PM
desharna committed rISABELLE6c542e152b8a: redefined mono_on and strict_mono_on as an abbreviation of monotone_on.
redefined mono_on and strict_mono_on as an abbreviation of monotone_on
Fri, Jun 24, 9:55 PM
desharna committed rISABELLE3c544d64c218: changed argument order of mono_on and strict_mono_on to uniformize with….
changed argument order of mono_on and strict_mono_on to uniformize with…
Fri, Jun 24, 9:55 PM
desharna committed rAFP0d159a7589cb: merged.
merged
Fri, Jun 24, 9:53 PM
desharna committed rAFP221e9df71dbb: updated to Isabelle/3c544d64c218.
updated to Isabelle/3c544d64c218
Fri, Jun 24, 9:53 PM
Fabian Huch <huch@in.tum.de> committed rAFP574ddb031262: merge from afp-2021-1.
merge from afp-2021-1
Fri, Jun 24, 6:53 PM
Fabian Huch <huch@in.tum.de> committed rAFP1b27be8d233d: mention error location when metadata loading fails;.
mention error location when metadata loading fails;
Fri, Jun 24, 6:53 PM
Fabian Huch <huch@in.tum.de> committed rAFP783e3f87f4bf: tuned error messages;.
tuned error messages;
Fri, Jun 24, 6:53 PM
Fabian Huch <huch@in.tum.de> committed rAFPa1dda98865eb: afp metadata/releases: change format to re-add releases swallowed by key-set….
afp metadata/releases: change format to re-add releases swallowed by key-set…
Fri, Jun 24, 6:53 PM