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.
double check that lhs or rhs really matches a subterm in a goal when creating a hole in a skeleton (Net.net does only rough matching)
2013-08-21, by kuncar
improve weight computation for complex terms
2013-08-21, by blanchet
improved support for MaSh server
2013-08-21, by blanchet
get rid of some silly MaSh features
2013-08-21, by blanchet
weight MaSh constants by frequency
2013-08-21, by blanchet
transfer stored fp_sugar theorems into the "current" theory when retrieving an fp_sugar (avoids non-trivial merges)
2013-08-21, by traytel
reference to datatype refinment paper
2013-08-21, by haftmann
tuned theory imports
2013-08-21, by traytel
avoid constructor name clash
2013-08-21, by blanchet
renamed theory files to be closer to (new) command names
2013-08-21, by blanchet
only generate feature weights for queries -- they're not used elsewhere
2013-08-21, by blanchet
generate max suggestions in MaSh export driver
2013-08-21, by blanchet
new version of MaSh tool, with more server bugfixes
2013-08-21, by blanchet
take out dangerous feature, now that all updates are permanent
2013-08-21, by blanchet
use new MaSh command-line arguments
2013-08-21, by blanchet
shutdown MaSh server
2013-08-21, by blanchet
new version of MaSh tool, with less broken server
2013-08-21, by blanchet
merged
2013-08-20, by wenzelm
more careful parsing of nested argument tokens -- avoid Parse.RESET_VALUE on still uninterpreted material;
2013-08-20, by wenzelm
proper exhaustive match (cf. e9beabf045ab);
2013-08-20, by wenzelm
proper context;
2013-08-20, by wenzelm
merged
2013-08-20, by krauss
renamed theory Mrec to Legacy_Mrec, no longer included by default
2013-08-20, by krauss
replaced use of obsolete MREC by partial_function (heap)
2013-08-20, by krauss
more document antiquotations (for proper theorem names);
2013-08-17, by Christian Sternagel
moved derivation of strong coinduction to sugar
2013-08-20, by traytel
simpler (forward) derivation of strong (up-to equality) coinduction properties
2013-08-20, by traytel
don't derive unused low-level theorem
2013-08-20, by traytel
tuned example
2013-08-20, by traytel
doc tuning
2013-08-20, by blanchet
adapted ML code to new version of MaSh tool
2013-08-20, by blanchet
new version of MaSh tool -- experimental server
2013-08-20, by blanchet
adapted to new MaSh syntax
2013-08-20, by blanchet
tuning
2013-08-20, by blanchet
merged
2013-08-20, by paulson
Inserted footnote under match_tac
2013-08-20, by paulson
learn MaSh facts on the fly
2013-08-20, by blanchet
allow MaSh query to do some learning as well
2013-08-20, by blanchet
tuning
2013-08-20, by blanchet
merged
2013-08-20, by blanchet
removed french option to manuals
2013-08-20, by blanchet
treat frees as both consts and vars, for more hits
2013-08-19, by blanchet
keep long names to stay on the safe side
2013-08-19, by blanchet
tuned;
2013-08-19, by wenzelm
tuned signature;
2013-08-19, by wenzelm
MaSh tweaking: shorter names + killed (broken) SNoW
2013-08-19, by blanchet
handle Bounds as well in MaSh features
2013-08-19, by blanchet
add subtypes as well as features in MaSh
2013-08-19, by blanchet
generate patterns for variables as well in MaSh (cf. HOL(y)Hammer)
2013-08-19, by blanchet
generate deep type patterns in MaSh
2013-08-19, by blanchet
improved ad hoc success detection in Mirabelle -- if the metis call fails and the structured proof succeeds, remember only the success
2013-08-19, by blanchet
tuned;
2013-08-18, by wenzelm
tuned proofs;
2013-08-18, by wenzelm
more static simpsets, which also avoids spurious warnings due to duplicate rules provided here;
2013-08-18, by wenzelm
more symbols;
2013-08-18, by wenzelm
more symbols;
2013-08-18, by wenzelm
merged
2013-08-18, by wenzelm
load_theories if continuous_checking;
2013-08-18, by wenzelm
discontinued redundant abbreviations -- Isabelle/jEdit provides keyboard shortcuts already;
2013-08-18, by wenzelm
prefer plain subscript;
2013-08-18, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
tip