Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
16 months ago wenzelm support for macOS 14 Sonoma (only for testing); changeset | files
16 months ago wenzelm more platform tests: initial support for macOS 14 Sonoma; changeset | files
16 months ago wenzelm updated to gmp-6.3.0, for the sake of macOS 14 Sonoma; changeset | files
16 months ago wenzelm merged changeset | files
16 months ago wenzelm prefer Exn.result: avoid accidental capture of interrupts, similar to ML; changeset | files
16 months ago wenzelm clarified user errors vs. failures, e.g. java.lang.StackOverflowError; changeset | files
17 months ago wenzelm further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt; changeset | files
17 months ago wenzelm proper Exn.capture with check_interrupt (amending a3dcae9a2ebe); changeset | files
17 months ago wenzelm distinguish proper interrupts from Poly/ML RTS breakdown; changeset | files
17 months ago wenzelm tuned; changeset | files
17 months ago wenzelm tuned; changeset | files
17 months ago wenzelm proper Isabelle_Thread.try_catch; changeset | files
17 months ago wenzelm tuned; changeset | files
17 months ago wenzelm proper Exn.capture / Isabelle_Thread.try_catch; changeset | files
17 months ago wenzelm tuned; changeset | files
17 months ago wenzelm clarified signature; changeset | files
17 months ago wenzelm proper Exn.capture; changeset | files
17 months ago wenzelm more robust: avoid race condition; changeset | files
17 months ago wenzelm clarified name; changeset | files
17 months ago wenzelm clarified signature; changeset | files
17 months ago wenzelm clarified comments; changeset | files
17 months ago paulson Fixed the duplication of fls_compose_fps, moving the definition in Laurent_Convergence to Formal_Laurent_Series along with several simpler facts changeset | files
17 months ago paulson atin now an abbreviation for atin_within, which has been moved to Abstract_Limits changeset | files
17 months ago paulson merged changeset | files
17 months ago paulson New proofs also some slightly faster existing proofs changeset | files
17 months ago Fabian Huch updated to hugo-0.119.0; changeset | files
17 months ago Fabian Huch add component build tool for hugo from afp-devel; changeset | files
17 months ago desharna removed test failing on some platform changeset | files
17 months ago wenzelm mini2 is not active due to upgrade; changeset | files
17 months ago wenzelm more PLATFORMS; changeset | files
17 months ago wenzelm update documentation on Isabelle/ML exceptions; changeset | files
17 months ago wenzelm misc tuning; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 tip
isabelle