Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
- rISABELLE Isabelle
- Mon, Jun 27, 5:36 PM2022-06-27 17:36:26 (UTC+2)
- Mercurial
Recent Activity
Recent Activity
Today
Today
Christian Urban <christian.urban@kcl.ac.uk> committed rAFP66e3dcab868b: updated the abstract in root.tex.
updated the abstract in root.tex
Christian Urban <christian.urban@kcl.ac.uk> committed rAFPae47c479a7c4: tuned.
tuned
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
strict bounds for BNFs (by Jan van Brügge)
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
strict bounds for BNFs (by Jan van Brügge)
Yesterday
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;
Fabian Huch <huch@in.tum.de> committed rAFPbee741e8e528: merge from afp-2021-1 (replaying devel commit).
merge from afp-2021-1 (replaying devel commit)
Fabian Huch <huch@in.tum.de> committed rAFP8a47690b85a0: remove scala tools from publish;.
remove scala tools from publish;
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;
Sun, Jun 26
Sun, Jun 26
florian.haftmann committed rISABELLE53b61706749b: Centralized some char-related lemmas in distribution..
Centralized some char-related lemmas in distribution.
Sat, Jun 25
Sat, Jun 25
adapted to Isabelle/986506233812;
prefer antiquotations;
more documentation;
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;
prefer scalable Bytes.T;
prefer scalable Bytes.T;
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFPc7498ca83836: merged.
merged
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…
missing recursive let-expansion in SMT translation
Fri, Jun 24
Fri, Jun 24
desharna committed rISABELLE19ec8f844e08: added lemma monotone_on_o.
added lemma monotone_on_o
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
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…
desharna committed rAFP221e9df71dbb: updated to Isabelle/3c544d64c218.
updated to Isabelle/3c544d64c218
Fabian Huch <huch@in.tum.de> committed rAFP574ddb031262: merge from afp-2021-1.
merge from afp-2021-1
Fabian Huch <huch@in.tum.de> committed rAFP1b27be8d233d: mention error location when metadata loading fails;.
mention error location when metadata loading fails;
Fabian Huch <huch@in.tum.de> committed rAFP783e3f87f4bf: tuned error messages;.
tuned error messages;
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…