Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

desharna committed rAFPb335908ca5ac: merged.
merged
Tue, Dec 7, 12:07 PM
desharna committed rAFP1cdb95bf9f7c: generalized standard formula redundancy out of standard redundancy.
generalized standard formula redundancy out of standard redundancy
Tue, Dec 7, 12:07 PM
makarius committed rAFP5284bc2e2dfb: discontinued Parse.text;.
discontinued Parse.text;
Tue, Dec 7, 12:12 AM
makarius committed rAFPc2061c79823c: merged.
merged
Tue, Dec 7, 12:12 AM
makarius committed rAFP2fdd87fc6dd7: discontinued old-style {* verbatim *} tokens;.
discontinued old-style {* verbatim *} tokens;
Tue, Dec 7, 12:12 AM
makarius committed rISABELLEfa5476c54731: tuned proof;.
tuned proof;
Tue, Dec 7, 12:12 AM
makarius committed rISABELLE56247fdb8bbb: discontinued old-style {* verbatim *} tokens;.
discontinued old-style {* verbatim *} tokens;
Tue, Dec 7, 12:12 AM
makarius committed rISABELLE2df334453c4c: isabelle update_cartouches;.
isabelle update_cartouches;
Tue, Dec 7, 12:12 AM

Mon, Dec 6

desharna committed rAFP90f5fb60422f: weakened locale assumptions: wfP implies asymp.
weakened locale assumptions: wfP implies asymp
Mon, Dec 6, 9:41 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP7c1a5a8e9959: Add papers to metadata..
Add papers to metadata.
Mon, Dec 6, 5:06 PM
desharna committed rAFP4c46cf956c77: refactored Standard_Redundancy_Criterion to not use ordering type classes.
refactored Standard_Redundancy_Criterion to not use ordering type classes
Mon, Dec 6, 1:25 PM
makarius committed rAFP1ffda7071d4a: isabelle update_cartouches;.
isabelle update_cartouches;
Mon, Dec 6, 1:06 PM
makarius committed rAFPd4ed7c4aca73: removed obsolete "extend" operation;.
removed obsolete "extend" operation;
Mon, Dec 6, 12:21 PM

Sun, Dec 5

makarius committed rAFP98ecfb2297ef: more symbolic latex_output via XML (using YXML within text);.
more symbolic latex_output via XML (using YXML within text);
Sun, Dec 5, 9:04 PM
makarius committed rISABELLE229d7ea628c2: more symbolic latex_output via XML (using YXML within text);.
more symbolic latex_output via XML (using YXML within text);
Sun, Dec 5, 9:04 PM
makarius committed rISABELLEf32ac01aef5e: tuned signature: remove unused;.
tuned signature: remove unused;
Sun, Dec 5, 9:04 PM
makarius committed rISABELLE947bb3e09a88: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Sun, Dec 5, 9:04 PM
makarius committed rISABELLE944d4d616ca0: clarified corner cases of syntax;.
clarified corner cases of syntax;
Sun, Dec 5, 9:04 PM
makarius committed rISABELLE1e84ae3e886e: tuned signature;.
tuned signature;
Sun, Dec 5, 9:04 PM
makarius committed rISABELLE89c7f74b5ae1: clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);.
clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);
Sun, Dec 5, 9:04 PM
makarius committed rAFPdf2034347bc9: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Sun, Dec 5, 4:37 PM
makarius committed rAFP0bc1235e5fb6: tuned signature;.
tuned signature;
Sun, Dec 5, 4:37 PM

Sat, Dec 4

makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Sat, Dec 4, 11:10 PM
makarius committed rWEBSITE256393a9a400: only Windows 10 is tested;.
only Windows 10 is tested;
Sat, Dec 4, 10:36 PM
paulson <lp15@cam.ac.uk> committed rISABELLE0263787a06b4: a slightly simpler proof.
a slightly simpler proof
Sat, Dec 4, 9:30 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Sat, Dec 4, 9:22 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Sat, Dec 4, 8:16 PM
dcjm committed rPOLYML59bc13986b41: Update config.guess and config.sub from automake-1.16.3. For some reason… (authored by dcjm).
Update config.guess and config.sub from automake-1.16.3. For some reason…
Sat, Dec 4, 5:44 PM
makarius committed rISABELLE1a5d4586b6b0: provide component naproche-2d99afe5c349;.
provide component naproche-2d99afe5c349;
Sat, Dec 4, 5:31 PM
kappelmann committed rAFP5a8b07a912c1: feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics….
feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Sat, Dec 4, 2:38 PM
makarius committed rISABELLEe8935405f082: merged.
merged
Sat, Dec 4, 1:25 PM
makarius committed rISABELLE98d2b3375258: Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2.
Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
Sat, Dec 4, 1:25 PM
makarius committed rISABELLE8baf2e8b16e2: more documentation about Type/Const antiquotations;.
more documentation about Type/Const antiquotations;
Sat, Dec 4, 1:25 PM
makarius committed rISABELLE0ab2ed1489eb: more documentation about document build options;.
more documentation about document build options;
Sat, Dec 4, 1:25 PM
makarius committed rISABELLE0597884e6e91: tuned --- fewer IDE warnings;.
tuned --- fewer IDE warnings;
Sat, Dec 4, 1:25 PM
makarius committed rISABELLE9e9a308562da: address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of….
address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of…
Sat, Dec 4, 1:25 PM
makarius committed rISABELLEd54b3c96ee50: more robust physical timeout (despite 1bea05713dde), especially relevant for….
more robust physical timeout (despite 1bea05713dde), especially relevant for…
Sat, Dec 4, 1:25 PM

Fri, Dec 3

dcjm committed rPOLYMLcae32f905095: Update config.sub and config.guess and include a script to do this in the… (authored by dcjm).
Update config.sub and config.guess and include a script to do this in the…
Fri, Dec 3, 6:34 PM
dcjm committed rPOLYMLdced04294bb2: Check for presence of Mach-O relocation files and only include them if they're (authored by dcjm).
Check for presence of Mach-O relocation files and only include them if they're
Fri, Dec 3, 6:34 PM
dcjm committed rPOLYMLa63f2196a5e7: Fix incorrect argument when printing byte code assembly code. (authored by dcjm).
Fix incorrect argument when printing byte code assembly code.
Fri, Dec 3, 6:34 PM