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
+10000
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.
make double-sure that old popup is dismissed, before replacing it;
2014-05-30, by wenzelm
more robust bold_style, e.g. relevant for accidental \<^bold> before keyword;
2014-05-30, by wenzelm
added another way of invoking Python code, for experiments
2014-05-30, by blanchet
make SML naive Bayes closer to Python version
2014-05-30, by blanchet
tuned whitespace, to make datatype definitions slightly less intimidating
2014-05-30, by blanchet
more work on exporter
2014-05-30, by blanchet
got rid of 'linearize' option
2014-05-30, by blanchet
extend exporter with new versions of MaSh
2014-05-30, by blanchet
tuned
2014-05-30, by haftmann
tuned signature
2014-05-30, by haftmann
terminating code equations
2014-05-30, by haftmann
more direct passing of right-hand side
2014-05-29, by haftmann
even more uniform treatment of result after 95e5a633a18f
2014-05-29, by haftmann
Merge
2014-05-29, by paulson
New theorems to enable the simplification of certain functions when applied to specific natural number constants (such as 4)
2014-05-29, by paulson
removed Kleene_Algebra because of superior AFP entry; authors agreed
2014-05-29, by nipkow
typo
2014-05-29, by nipkow
uniform treatmen of result
2014-05-28, by haftmann
tuned variable names
2014-05-28, by haftmann
more generous max number of suggestions, for more safety
2014-05-28, by blanchet
changed MaSh to use SML version instead of Python version of naive Bayes by default (i.e. if MASH=yes in the settings, or 'fact_filter=mash' with no other explicit setting)
2014-05-28, by blanchet
export more ML functions, for experimentation
2014-05-28, by blanchet
tuned signature;
2014-05-28, by wenzelm
disabled IDF for now -- empirical evidence points the wrong way (as usual)
2014-05-28, by blanchet
tuning
2014-05-28, by blanchet
tuning
2014-05-28, by blanchet
optimized computation
2014-05-28, by blanchet
enabled IDF for naive Bayes ML
2014-05-28, by blanchet
tuning
2014-05-28, by blanchet
repaired subscript problem in SML kNN
2014-05-28, by blanchet
tuning
2014-05-28, by blanchet
always remove duplicates in meshing + use weights for Naive Bayes
2014-05-28, by blanchet
updated naive Bayes
2014-05-27, by blanchet
don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
2014-05-27, by blanchet
don't conceal (co)datatypes
2014-05-26, by blanchet
changed '-:' to 'dead' in BNF
2014-05-26, by blanchet
got rid of '=:' squiggly
2014-05-26, by blanchet
use '%x. x = C' as default discriminator for nullary constructor C, instead of relying on odd '=:' syntax
2014-05-26, by blanchet
renamed 'MaSh' option
2014-05-26, by blanchet
document '=:' syntax better
2014-05-26, by blanchet
capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
2014-05-26, by wenzelm
tuned;
2014-05-25, by wenzelm
clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
2014-05-24, by wenzelm
support for regular Windows TeX installation;
2014-05-24, by wenzelm
more portable file names;
2014-05-24, by wenzelm
more portable -- accomodate MiKTeX on Windows;
2014-05-24, by wenzelm
receovered alternative abbrevs for \<open> \<close> from 8e8243975860, to accommodate national keyboard layouts where "`" might be hard to produce;
2014-05-24, by wenzelm
strip trailing white space, to avoid notorious problems of jEdit with last line;
2014-05-24, by wenzelm
added fifth member to BNF team
2014-05-23, by blanchet
removed noise
2014-05-23, by blanchet
fixed semantics of 'linearize'
2014-05-23, by blanchet
automatically reload state file when it changes on disk
2014-05-23, by blanchet
tuned
2014-05-22, by haftmann
tuned names
2014-05-22, by haftmann
tuned signature
2014-05-22, by haftmann
moved const declaration further down in bootstrap hierarchy: keep Named_Target free of low-level stuff
2014-05-22, by haftmann
unused
2014-05-22, by haftmann
tuned
2014-05-22, by haftmann
more uniform order of operations;
2014-05-22, by haftmann
common background_abbrev operation
2014-05-22, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip