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
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 comments;
10 days ago, by wenzelm
cleanup generated bounds;
10 days ago, by wenzelm
discontinue special treatment of HOL Light CONJUNCTS: this is better done in Isabelle;
11 days ago, by wenzelm
clarified bundle names, in terms of the "offline" tool;
11 days ago, by wenzelm
proper result from "offline" tool;
11 days ago, by wenzelm
optional maps.lst;
12 days ago, by wenzelm
tuned output: proper progress;
12 days ago, by wenzelm
support tracing (with proper guard);
12 days ago, by wenzelm
more README;
12 days ago, by wenzelm
allow to load additional HOL Light files, after "hol.ml";
12 days ago, by wenzelm
more complete bundle;
12 days ago, by wenzelm
tuned README;
12 days ago, by wenzelm
proper settings;
12 days ago, by wenzelm
clarified compression;
12 days ago, by wenzelm
clarified patches: avoid duplication;
12 days ago, by wenzelm
clarified patches;
12 days ago, by wenzelm
more explicit stages, with timing messages;
12 days ago, by wenzelm
avoid redundant repository clone;
13 days ago, by wenzelm
move material from https://gitlab.inria.fr/hol-light-isabelle/hol-light 72b2b702eadb and https://gitlab.inria.fr/hol-light-isabelle/import ce58755b0232 into Isabelle repository: results from running "isabelle component_hol_light_import" of previous version;
13 days ago, by wenzelm
original HOL Light "offline" material by Cezary Kaliszyk and Alexander Krauss, from http://cl-informatik.uibk.ac.at/users/cek/import/holimport.tgz 27-Nov-2013 (37372 bytes);
13 days ago, by wenzelm
tuned names;
13 days ago, by wenzelm
misc cleanup and minor performance tuning;
13 days ago, by wenzelm
clarified signature;
13 days ago, by wenzelm
tuned: prefer existing operations;
13 days ago, by wenzelm
tuned source structure;
13 days ago, by wenzelm
tuned state operations;
13 days ago, by wenzelm
tuned signature;
13 days ago, by wenzelm
misc tuning and clarification: prefer state operations, avoid redundant ctyp_of/cterm_of;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
tuned proofs;
13 days ago, by wenzelm
merged
8 days ago, by Fabian Huch
update to javamail-20250122;
9 days ago, by Fabian Huch
merged
8 days ago, by paulson
more tidying
8 days ago, by paulson
tuned messages;
9 days ago, by Fabian Huch
clarified: more arguments;
9 days ago, by Fabian Huch
explicit error message when Solr database does not exist;
9 days ago, by Fabian Huch
copy instead of symlink managed Find_Facts indexes: portable, and allows updating with local sessions;
9 days ago, by Fabian Huch
clarified CLI arg vs. option;
10 days ago, by Fabian Huch
clarified;
10 days ago, by Fabian Huch
clarified find_facts URL;
10 days ago, by Fabian Huch
clarified CLI options: web dir only in $FIND_FACTS_HOME_USER/web;
10 days ago, by Fabian Huch
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
10 days ago, by Fabian Huch
clarified: Find_Facts indexes instead of Solr components;
10 days ago, by Fabian Huch
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
10 days ago, by Fabian Huch
merged
10 days ago, by Fabian Huch
clarified: more operations;
10 days ago, by Fabian Huch
tuned default nightly start: less events at 00:17:00;
10 days ago, by Fabian Huch
use cycles in ci triggers;
10 days ago, by Fabian Huch
varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;
10 days ago, by Fabian Huch
clarified;
11 days ago, by Fabian Huch
tuned whitespace;
2 weeks ago, by Fabian Huch
add find_facts_index command to use within Isabelle/Scala;
2 weeks ago, by Fabian Huch
clarified: add afp_root argument;
2 weeks ago, by Fabian Huch
merged
10 days ago, by nipkow
introduced/overloaded power operator ^^ lists
10 days ago, by nipkow
systematic checks for bit operations and more rules on symbolic terms
10 days ago, by haftmann
explicitly report dependencies on missing code equations
10 days ago, by haftmann
simplified old proofs
12 days ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
tip