- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Sep 30 2020
Sep 30 2020
clarified signature;
updated to sqlite-jdbc-3.32.3.2;
makarius committed rISABELLE93e533198bf6: build Isabelle sqlite-jdbc component from official download;.
build Isabelle sqlite-jdbc component from official download;
support arm64-linux;
detect arm64-linux platform;
Sep 29 2020
Sep 29 2020
clarified signature;
formal platform information, notably for ssh;
more robust executor policy after shutdown;
makarius committed rISABELLE0823524eea1e: more reactive kodkod execution: avoid confusion about timeout/deadline;.
more reactive kodkod execution: avoid confusion about timeout/deadline;
clarified default (see also 0c7a74a1c6d9);
makarius committed rISABELLE319dd5c618a5: allow Scala function execution on separate thread: better reactivity, but….
allow Scala function execution on separate thread: better reactivity, but…
obsolete --- Java is always present via component;
obsolete --- KODKODI is always present via component;
makarius committed rISABELLEda2cbe54e53e: obsolete --- ML module Nitpick resides within theory Nitpick (see also….
obsolete --- ML module Nitpick resides within theory Nitpick (see also…
Sep 28 2020
Sep 28 2020
makarius committed rAFP561e06b5a682: more standard and more robust, following hints on the Net --- diffpdf says that….
more standard and more robust, following hints on the Net --- diffpdf says that…
makarius committed rAFP33c5d584ff1f: more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;.
more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;
some support for document preparation in Isabelle/Scala;
unused (see 7b318273a4aa);
unused (see 564012e31db1);
makarius committed rISABELLEc695d0b89586: more standard and more robust, following hints on the Net;.
more standard and more robust, following hints on the Net;
makarius committed rISABELLE76bb6dd505c0: obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);.
obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
makarius committed rAFP94bcc3a69217: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;.
prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
makarius committed rISABELLEbc97bd4c0474: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;.
prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;
proper Windows 32bit platform;
makarius committed rISABELLE3cc6aa405858: clarified "isabelle logo", after discontinuation of DVI output (see….
clarified "isabelle logo", after discontinuation of DVI output (see…
makarius added a comment to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).
I have scavenged the Net twice for a 64bit minsat.dll, but failed so far.
makarius reopened T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) as "Open".
makarius closed T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) as Resolved.
Sep 27 2020
Sep 27 2020
suppress ligatures more robustly, notably for lualatex;
ISABELLE_PDFLATEX is now lualatex;
makarius committed rAFP418c0aca9d53: more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;.
more robust: avoid spurious timeout of nitpick/kodkod within Isabelle/Scala;
Sep 26 2020
Sep 26 2020
proper textcomp for \textonehalf, notably for lualatex;
clarified language, notably for lualatex;
avoid odd Unicode tricks, notably for lualatex;
proper textcomp for \textdegree, notably for lualatex;
less bulky session stack;
clarified document export;
makarius committed rAFPcd5cce401ff6: include a copy of https://www.ctan.org/pkg/algorithm2e encoded in utf8, notably….
include a copy of https://www.ctan.org/pkg/algorithm2e encoded in utf8, notably…
proper utf8 inputenc, notably for lualatex;
makarius committed rISABELLE564012e31db1: discontinued obsolete DVI document format and related settings/tools;.
discontinued obsolete DVI document format and related settings/tools;
Sep 25 2020
Sep 25 2020
follow Phabricator update 2020 Week 37;
clarified defaults for nitpick;
tuned nitpick message: more like quickcheck;
evaluate Scala via running Isabelle/Scala;
makarius committed rISABELLEaafec95bc30e: more robust: avoid spurious line breaks that might confuse the scala….
more robust: avoid spurious line breaks that might confuse the scala…
clarified signature: proper eval/print via interpret;
avoid spurious debug output;
Sep 24 2020
Sep 24 2020
evaluate PolyML via running Isabelle/ML;
proper platform_path for Windows;
output via file instead of stdout;
clarified signature;
Sep 20 2020
Sep 20 2020
makarius committed rISABELLEdfe150a246e6: misc tuning and clarification: prefer functions over data;.
misc tuning and clarification: prefer functions over data;
clarified signature;
proper ml_source: avoid duplicate Bash.string;
misc tuning and clarification;
Sep 11 2020
Sep 11 2020
proper Unix line ending;
makarius committed rAFP5d0b5731d5d7: prefer current mathpartir.sty from underlying TeX distribution;.
prefer current mathpartir.sty from underlying TeX distribution;
makarius committed rISABELLEdc51115fa4aa: prefer current mathpartir.sty from underlying TeX distribution;.
prefer current mathpartir.sty from underlying TeX distribution;
makarius committed rISABELLE1b01c626a441: more uniform color --- avoid odd transparency on Windows (due to jEdit default….
more uniform color --- avoid odd transparency on Windows (due to jEdit default…
updated documentation;
tuned documentation;
makarius updated the task description for T23: More compact representation of type instances of term constants.
makarius triaged T23: More compact representation of type instances of term constants as Wishlist priority.
Sep 10 2020
Sep 10 2020
more uniform JVM vs. ML status widget;
Sep 8 2020
Sep 8 2020
update to official jedit-5.6.0;
Sep 1 2020
Sep 1 2020
makarius committed rISABELLEa5bf0b69c22a: discontinue export_document --- always enabled (reverting f0f83ce0badd);.
discontinue export_document --- always enabled (reverting f0f83ce0badd);
unused (see also 7b318273a4aa);
Aug 31 2020
Aug 31 2020
makarius committed rISABELLEe5fcbf6dc687: proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal….
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal…