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.
more concise instance-specific rules on euclidean relation
21 months ago, by haftmann
merged
21 months ago, by paulson
Tidied a few more proofs
21 months ago, by paulson
merged
21 months ago, by paulson
tidied a few ugly proofs
21 months ago, by paulson
let rsync re-use ssh connection via control path;
21 months ago, by wenzelm
clarified command-line;
21 months ago, by wenzelm
clarified command-line;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
proper port for Mercurial;
21 months ago, by wenzelm
clarified default: do not override port from ssh_config, which could be different from 22;
21 months ago, by wenzelm
proper Scala expression;
21 months ago, by wenzelm
clarified signature: separate unrelated modules;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
obsolete;
21 months ago, by wenzelm
obsolete;
21 months ago, by wenzelm
clarified error;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
removed remains of proxy_host management: delegated to .ssh/config;
21 months ago, by wenzelm
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
21 months ago, by wenzelm
putting together related theorems
21 months ago, by haftmann
dropped auxiliary lemma
21 months ago, by haftmann
unused;
21 months ago, by wenzelm
clarified operation: avoid perl;
21 months ago, by wenzelm
discontinued unused operations;
21 months ago, by wenzelm
clarified signature: avoid exposure of JSch types;
21 months ago, by wenzelm
clarified signature: discontinue somewhat pointless SSH.Context;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
proper path;
21 months ago, by wenzelm
Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
21 months ago, by wenzelm
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
21 months ago, by wenzelm
more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
21 months ago, by wenzelm
merged;
21 months ago, by wenzelm
update for release;
21 months ago, by wenzelm
more command-line options;
21 months ago, by wenzelm
less specialized euclidean relation on int
21 months ago, by haftmann
update to Isabelle2022 and Ubuntu 22.04;
21 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;
21 months ago, by wenzelm
more operations: for testing purposes;
21 months ago, by wenzelm
provide naproche-20220910 (inactive);
21 months ago, by wenzelm
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
update for release;
21 months ago, by wenzelm
tuned: prefer Scala Regex operations;
21 months ago, by wenzelm
tuning and updates for release;
21 months ago, by wenzelm
NEWS;
21 months ago, by wenzelm
discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
21 months ago, by wenzelm
give up show_main_goal (despite 922e3f9251ac): show_goal_inst is sufficient, even for final results;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
discontinue fragile operations;
21 months ago, by wenzelm
proper context option: change of underlying Options.default will not survive PIDE "Prover.options" (e.g. change of Isabelle/jEdit plugin options);
21 months ago, by wenzelm
enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);
21 months ago, by wenzelm
updated documentation;
21 months ago, by wenzelm
support multiple sessions, with cumulative errors;
21 months ago, by wenzelm
support regex patterns on messages;
21 months ago, by wenzelm
support Pretty.unformatted, similar to ML version;
21 months ago, by wenzelm
removed odd TODO item (see 3391a493f39a);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned output: more Pretty.item;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified failure: warning for logical error, exception for program breakdown;
21 months ago, by wenzelm
print goal instantiation for global qed (and variations);
21 months ago, by wenzelm
clarified output;
21 months ago, by wenzelm
more robust: capture corner case seen in line 631 of "$AFP/Automatic_Refinement/Autoref_Bindings_HOL.thy" (AFP/6c87f24bb773);
21 months ago, by wenzelm
clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);
21 months ago, by wenzelm
updated to postgresql-42.5.0;
21 months ago, by wenzelm
tool to build Isabelle component for PostgreSQL JDBC;
21 months ago, by wenzelm
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
21 months ago, by wenzelm
option "show_states" for more verbosity of batch-builds;
21 months ago, by wenzelm
tuned --- avoid warnings;
21 months ago, by wenzelm
proper antiquotations;
21 months ago, by wenzelm
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
21 months ago, by wenzelm
proper antiquotations;
21 months ago, by wenzelm
clarified options, following e.g. "show_consts";
21 months ago, by wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
21 months ago, by wenzelm
unused (see 15758fced053);
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
21 months ago, by wenzelm
proper umlauts;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned error message;
21 months ago, by wenzelm
merged
21 months ago, by desharna
merged
21 months ago, by desharna
moved antimono to Fun and redefined it as an abbreviation
24 months ago, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
24 months ago, by desharna
clarified generic euclidean relation
21 months ago, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
21 months ago, by blanchet
tuned signature;
21 months ago, by wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned --- more robust syntax;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
21 months ago, by wenzelm
unused (see 347ed6219dab);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
more CONTRIBUTORS + NEWS;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
proper description;
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
option "sort_updates" for record update simproc. Make proper record simproc definitions.
2022-03-07, by Norbert Schirmer
Merge
21 months ago, by paulson
Three new theorems about real polynomial functions
21 months ago, by paulson
tuned GUI;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified GUI behaviour;
21 months ago, by wenzelm
eliminated odd Unicode blanks;
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
eliminated DOS line endings;
21 months ago, by wenzelm
eliminated tabs, assuming tab-width=8;
21 months ago, by wenzelm
eliminated tabs, assuming tab-width=4;
21 months ago, by wenzelm
updated to current Cygwin, near 3.3.5-1;
21 months ago, by wenzelm
test macOS 12 Monterey via laramac01;
21 months ago, by wenzelm
clarified GUI update;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
more GUI functionality;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip