Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
restructured ci profile into modular ci build system;
19 months ago, by Fabian Huch
more structured proofs
20 months ago, by paulson
fixed some theory presentation issues (?)
20 months ago, by paulson
recover informal "&" from 0c18df79b1c8;
20 months ago, by wenzelm
added a couple of structured proofs
20 months ago, by paulson
More obsolete "unfold" calls
20 months ago, by paulson
getting rid of apply (unfold ...)
20 months ago, by paulson
More syntactic cleanup. LaTeX markup working
20 months ago, by paulson
more modernisation of syntax
20 months ago, by paulson
Removal of obsolete ASCII syntax
20 months ago, by paulson
clarified options;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
streamlined division on polynomials
20 months ago, by haftmann
streamlined division on polynomials
20 months ago, by haftmann
clarified signature: re-use store/cache from build results;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature: persistent Node.source / Snapshot.source;
20 months ago, by wenzelm
more examples;
20 months ago, by wenzelm
proper filter (amending fb4215da4919);
20 months ago, by wenzelm
clarified conditions: no_build is ok for presentation if "all_current" holds;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified presentation_sessions: work with partial results;
20 months ago, by wenzelm
tuned signature: removed unused operations;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned comments;
20 months ago, by wenzelm
streamlined division on polynomials
20 months ago, by haftmann
clarified packaging;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
Added tag Isabelle2022-RC2 for changeset 778152d51e97
20 months ago, by wenzelm
show SSH options in PIDE GUI;
20 months ago, by wenzelm
inplace update: proper Linux version;
20 months ago, by wenzelm
provide naproche-20220917;
20 months ago, by wenzelm
clarified NEWS;
20 months ago, by wenzelm
proper platform directory x86_64-linux, to have it purged for other platforms;
20 months ago, by wenzelm
MLton component for x86_64-linux;
20 months ago, by wenzelm
clarified Docker base image;
20 months ago, by wenzelm
proper file headers;
20 months ago, by wenzelm
tuned messages;
20 months ago, by wenzelm
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
20 months ago, by wenzelm
omit menu for unfinished tool;
20 months ago, by wenzelm
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
20 months ago, by wenzelm
more robust: snap version of docker cannot access /tmp;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
update to scala-3.2.0;
20 months ago, by wenzelm
avoid crash of JLine on Windows;
20 months ago, by wenzelm
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
20 months ago, by wenzelm
clarified default, following 8b695e59db3f;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
20 months ago, by wenzelm
clarified options;
20 months ago, by wenzelm
clarified options;
20 months ago, by wenzelm
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
20 months ago, by wenzelm
proper time values in seconds;
20 months ago, by wenzelm
clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support both Windows and Cygwin ssh;
20 months ago, by wenzelm
more robust, notably for macOS (see also ff92d6edff2c);
20 months ago, by wenzelm
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";
20 months ago, by wenzelm
tuned names;
20 months ago, by wenzelm
proper order of platforms, to make it work uniformly on all plaform families;
20 months ago, by wenzelm
more portable;
20 months ago, by wenzelm
build both arm64-darwin and x86_64-darwin on Apple ARM hardware;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
more items;
20 months ago, by wenzelm
more robust: do not assume Bash syntax while testing for it;
20 months ago, by wenzelm
obsolete;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
proper treatment of complex multi-line script;
20 months ago, by wenzelm
more robust;
20 months ago, by wenzelm
more robust: Bash.string operations require remote bash;
20 months ago, by wenzelm
support port forwarding without multiplexing (for the sake of Windows);
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
More on division concerning gauss numbers.
20 months ago, by haftmann
more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;
20 months ago, by wenzelm
more concise instance-specific rules on euclidean relation
20 months ago, by haftmann
merged
20 months ago, by paulson
Tidied a few more proofs
20 months ago, by paulson
merged
20 months ago, by paulson
tidied a few ugly proofs
20 months ago, by paulson
let rsync re-use ssh connection via control path;
20 months ago, by wenzelm
clarified command-line;
20 months ago, by wenzelm
clarified command-line;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
proper port for Mercurial;
20 months ago, by wenzelm
clarified default: do not override port from ssh_config, which could be different from 22;
20 months ago, by wenzelm
proper Scala expression;
20 months ago, by wenzelm
clarified signature: separate unrelated modules;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
obsolete;
20 months ago, by wenzelm
obsolete;
20 months ago, by wenzelm
clarified error;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
removed remains of proxy_host management: delegated to .ssh/config;
20 months ago, by wenzelm
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
20 months ago, by wenzelm
putting together related theorems
20 months ago, by haftmann
dropped auxiliary lemma
20 months ago, by haftmann
unused;
20 months ago, by wenzelm
clarified operation: avoid perl;
20 months ago, by wenzelm
discontinued unused operations;
20 months ago, by wenzelm
clarified signature: avoid exposure of JSch types;
20 months ago, by wenzelm
clarified signature: discontinue somewhat pointless SSH.Context;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper path;
20 months ago, by wenzelm
Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
20 months ago, by wenzelm
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
20 months ago, by wenzelm
more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
20 months ago, by wenzelm
merged;
20 months ago, by wenzelm
update for release;
20 months ago, by wenzelm
more command-line options;
20 months ago, by wenzelm
less specialized euclidean relation on int
20 months ago, by haftmann
update to Isabelle2022 and Ubuntu 22.04;
20 months ago, by wenzelm
proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
20 months ago, by wenzelm
more operations: for testing purposes;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip