- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Sep 19 2022
Sep 19 2022
Asta Halkjær From <andro.from@gmail.com> committed rAFP4e198cea6859: Neater links.
Neater links
Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP01cb40e28b35: Relational_Disjoint_Set_Forests: variant abstraction.
Relational_Disjoint_Set_Forests: variant abstraction
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;
sterraf committed rAFPedc3ffeb8c5e: Renaming synthesized formulas.
Renaming synthesized formulas
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;
Asta Halkjær From <andro.from@gmail.com> committed rAFP07db9d882bb2: Add additional results..
Add additional results.
Asta Halkjær From <andro.from@gmail.com> committed rAFP15e14652abfa: Formatting..
Formatting.
Asta Halkjær From <andro.from@gmail.com> committed rAFP125fba65042f: Add papers to abstracts..
Add papers to abstracts.
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;
proper treatment of complex multi-line script;
makarius committed rISABELLE769ebb139a32: support port forwarding without multiplexing (for the sake of Windows);.
support port forwarding without multiplexing (for the sake of Windows);
more robust: Bash.string operations require remote bash;
clarified signature;
misc tuning and clarification;
clarified signature;
clarified signature;
More on division concerning gauss numbers.
Sep 13 2022
Sep 13 2022
makarius committed rISABELLEe8d4013c49d1: more robust adhoc shell script: work with Isabelle_System..
more robust adhoc shell script: work with Isabelle_System.
florian.haftmann committed rISABELLEe7497a1de8b9: more concise instance-specific rules on euclidean relation.
more concise instance-specific rules on euclidean relation
paulson <lp15@cam.ac.uk> committed rISABELLE3190ee65139b: Tidied a few more proofs.
Tidied a few more proofs
paulson <lp15@cam.ac.uk> committed rISABELLE175e6d47e3af: tidied a few ugly proofs.
tidied a few ugly proofs
paulson <lp15@cam.ac.uk> committed rAFP6bb468a732ea: Deleted one redundant step.
Deleted one redundant step
paulson <lp15@cam.ac.uk> committed rAFP4b812a85fec9: Purely cosmetic.
Purely cosmetic
paulson <lp15@cam.ac.uk> committed rAFP50da79b217bc: Tidied (a lot).
Tidied (a lot)
let rsync re-use ssh connection via control path;
clarified command-line;
clarified command-line;
proper port for Mercurial;
makarius committed rISABELLE8b695e59db3f: clarified default: do not override port from ssh_config, which could be….
clarified default: do not override port from ssh_config, which could be…
proper Scala expression;
clarified signature: separate unrelated modules;
Sep 12 2022
Sep 12 2022
makarius committed rISABELLEb8f26c20d3b1: ssh client via regular OpenSSH tools, with authentic use of .ssh/config….
ssh client via regular OpenSSH tools, with authentic use of .ssh/config…
makarius committed rISABELLE4a0b7151fedc: removed remains of proxy_host management: delegated to .ssh/config;.
removed remains of proxy_host management: delegated to .ssh/config;
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPac12d61f247c: added missing congruence rule.
added missing congruence rule
putting together related theorems
dropped auxiliary lemma
Sep 11 2022
Sep 11 2022
discontinued unused operations;
clarified operation: avoid perl;
clarified signature: avoid exposure of JSch types;
makarius committed rISABELLEf17393e21388: clarified signature: discontinue somewhat pointless SSH.Context;.
clarified signature: discontinue somewhat pointless SSH.Context;