Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+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.
clarified directory;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified component setup for old graph browser;
22 months ago, by wenzelm
redundant: *.class and *.jar are already ignored;
22 months ago, by wenzelm
proper cat_lines: avoid last "\n";
22 months ago, by wenzelm
merged
22 months ago, by paulson
A few new lemmas and simplifications
22 months ago, by paulson
removed support for experimental Pirate prover
22 months ago, by blanchet
get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options
22 months ago, by blanchet
merged
22 months ago, by wenzelm
NEWS;
22 months ago, by wenzelm
proper example;
22 months ago, by wenzelm
more tests;
22 months ago, by wenzelm
more robust: component might be absent;
22 months ago, by wenzelm
clarified global state: allow to deactivate main plugin;
22 months ago, by wenzelm
more robust (again): allow to deactivate main plugin;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
more complete dockables;
22 months ago, by wenzelm
more robust (see 4d91b6d5d49c);
22 months ago, by wenzelm
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
22 months ago, by wenzelm
more robust;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
avoid non-standard encoding;
22 months ago, by wenzelm
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
22 months ago, by wenzelm
more robust classpath: skip empty entries;
22 months ago, by wenzelm
more robust: avoid duplicate classpath entries;
22 months ago, by wenzelm
build.props for isabelle.jar, including isabelle.jedit;
22 months ago, by wenzelm
more robust;
22 months ago, by wenzelm
more portable: avoid Windows CRLF in classpath output;
22 months ago, by wenzelm
proper lines (amending 59b6f0462086);
22 months ago, by wenzelm
more systematic treatment of encodings;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
extended the 'corec' format slightly
22 months ago, by blanchet
prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent
22 months ago, by blanchet
tuning
22 months ago, by blanchet
rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option
22 months ago, by blanchet
correctly translate constructor argument in 'primrec'
22 months ago, by blanchet
simplified a few proofs
22 months ago, by paulson
revisited ac28714b7478: more faithful preplaying with chained facts
23 months ago, by blanchet
wait for E 2.7 before using 'ite' in HO mode
23 months ago, by blanchet
added alternative E binary name
23 months ago, by blanchet
parse logical operators in the right order w.r.t. backtracking
23 months ago, by blanchet
improved warning
23 months ago, by blanchet
adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing)
23 months ago, by blanchet
operations for symbolic computation of bit operations
23 months ago, by haftmann
proper local context
23 months ago, by haftmann
shasum for project meta-info;
23 months ago, by wenzelm
even more strict shasum (amending c9771e1b3223);
23 months ago, by wenzelm
clarified Isabelle meta-info within jar;
23 months ago, by wenzelm
strict shasum: this is used on input files;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
support for command-line operations;
23 months ago, by wenzelm
operations for all components;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
rebuild component;
23 months ago, by wenzelm
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
23 months ago, by wenzelm
support expand_platform_path, which is reminiscent of isabelle.Path.expand;
23 months ago, by wenzelm
skip scalac for Java build;
23 months ago, by wenzelm
support mixed Scala/Java build;
23 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip