- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Oct 18 2022
Oct 18 2022
makarius committed rISABELLE072e6c0a2373: proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with….
proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with…
Oct 13 2022
Oct 13 2022
makarius committed rISABELLE2d4ff8c166d2: proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning….
proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning…
makarius committed rISABELLEf0d8f659b19a: less ambitious Bytes.chunk_size, which is presumably more stable with memory….
less ambitious Bytes.chunk_size, which is presumably more stable with memory…
makarius committed rISABELLE793171d7800b: updated to repository version polyml-test-bafe319bc3a6, which is presumably….
updated to repository version polyml-test-bafe319bc3a6, which is presumably…
makarius committed rISABELLEb446004b2464: support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes….
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes…
makarius committed rISABELLEb8072e5a1637: proper home directory for ssh configuration (e.g. ~/.ssh/config);.
proper home directory for ssh configuration (e.g. ~/.ssh/config);
more robust: prefer Windows $USERNAME;
clarified signature: more arguments;
Oct 12 2022
Oct 12 2022
update components.sha1;
proper description;
Oct 2 2022
Oct 2 2022
back to post-release mode -- after fork point;
Added tag Isabelle2022-RC3 for changeset d704efeb01db
proper cygwin component (see d042947e47a3)
suppress command echo in output;
include openssh for rsync (see also a1c7829ac2de);
provide naproche-20221002;
Oct 1 2022
Oct 1 2022
clarified signature: more operations;
tuned, following hints by IntelliJ IDEA;
makarius committed rISABELLEf3b23f4eaaac: clarified signature, to support external tools like "isabelle narration";.
clarified signature, to support external tools like "isabelle narration";
Sep 30 2022
Sep 30 2022
clarified signature;
makarius committed rISABELLE6ee5306d143a: more explanations on the new order prover (based on 10945fc183cd), without….
more explanations on the new order prover (based on 10945fc183cd), without…
makarius committed rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;.
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
Sep 28 2022
Sep 28 2022
recover informal "&" from 0c18df79b1c8;
Sep 27 2022
Sep 27 2022
clarified options, following f2094906e491;
Sep 26 2022
Sep 26 2022
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
clarified signature;
Sep 22 2022
Sep 22 2022
makarius committed rISABELLE769a7cd5a16a: clarified signature: re-use store/cache from build results;.
clarified signature: re-use store/cache from build results;
proper filter (amending fb4215da4919);
makarius committed rISABELLEb80b2fbc46c3: clarified signature: persistent Node.source / Snapshot.source;.
clarified signature: persistent Node.source / Snapshot.source;
makarius committed rISABELLE9d1819c28f67: clarified conditions: no_build is ok for presentation if "all_current" holds;.
clarified conditions: no_build is ok for presentation if "all_current" holds;
makarius committed rISABELLEfb4215da4919: clarified presentation_sessions: work with partial results;.
clarified presentation_sessions: work with partial results;
tuned signature: removed unused operations;
Sep 18 2022
Sep 18 2022
clarified packaging;
Added tag Isabelle2022-RC2 for changeset 778152d51e97
show SSH options in PIDE GUI;
inplace update: proper Linux version;
Sep 17 2022
Sep 17 2022
provide naproche-20220917;
makarius committed rISABELLE5f3983c42324: proper platform directory x86_64-linux, to have it purged for other platforms;.
proper platform directory x86_64-linux, to have it purged for other platforms;
MLton component for x86_64-linux;
clarified Docker base image;
proper file headers;
makarius committed rISABELLEd27ed188e0c4: support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external….
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external…
omit menu for unfinished tool;
makarius committed rAFP3906f9f92b4d: support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;.
support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4;
makarius committed rAFPb1e98098b68a: prefer (smt (verit)), which is potentially more stable under heavy load;.
prefer (smt (verit)), which is potentially more stable under heavy load;
Sep 16 2022
Sep 16 2022
makarius committed rISABELLE49b16832f173: include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";.
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
more robust: snap version of docker cannot access /tmp;
update to scala-3.2.0;
avoid crash of JLine on Windows;
makarius committed rISABELLEc8ab2316e3cb: update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu….
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu…
clarified default, following 8b695e59db3f;
makarius committed rISABELLEa3c694039fd6: discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;.
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
Sep 15 2022
Sep 15 2022
proper time values in seconds;
makarius committed rISABELLEdbafa8d688fb: discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503)….
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503)…
makarius committed rISABELLE5e8bc80df6b3: clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support….
clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support…
more robust, notably for macOS (see also ff92d6edff2c);
makarius committed rISABELLEff92d6edff2c: back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid….
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid…
makarius committed rISABELLE23c513c192ac: proper order of platforms, to make it work uniformly on all plaform families;.
proper order of platforms, to make it work uniformly on all plaform families;
Sep 14 2022
Sep 14 2022
makarius committed rISABELLE0302bdf63a08: build both arm64-darwin and x86_64-darwin on Apple ARM hardware;.
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;
more items, following 74b12f22029c;
makarius committed rISABELLEdfddb80fc515: more robust: do not assume Bash syntax while testing for it;.
more robust: do not assume Bash syntax while testing for it;