Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2010-09-14 blanchet prefer version 0.6 of Vampire, now that we can parse its output changeset | files
2010-09-14 blanchet fix splitting of proof lines for one-line metis calls; changeset | files
2010-09-14 blanchet finish support for E 1.2 proof reconstruction; changeset | files
2010-09-14 blanchet first step in generalizing to nonnumeric proof step names (e.g. remote Vampire 0.6) changeset | files
2010-09-14 blanchet clarify message changeset | files
2010-09-14 blanchet use same hack as in "Async_Manager" to work around Proof General bug changeset | files
2010-09-14 blanchet export function changeset | files
2010-09-14 blanchet generalize proof reconstruction code; changeset | files
2010-09-14 blanchet tuning changeset | files
2010-09-14 blanchet handle relevance filter corner cases more gracefully; changeset | files
2010-09-14 blanchet remove more clutter related to old "fast_descrs" optimization changeset | files
2010-09-14 blanchet Sledgehammer should be called in "prove" mode; changeset | files
2010-09-14 blanchet added a timeout around "try" call in Mirabelle changeset | files
2010-09-14 blanchet adapt examples to latest Nitpick changes + speed them up a little bit changeset | files
2010-09-14 blanchet tuning changeset | files
2010-09-14 blanchet eliminate more clutter related to "fast_descrs" optimization changeset | files
2010-09-14 blanchet remove "fast_descs" option from Nitpick; changeset | files
2010-09-14 blanchet fixed bug in the "fast_descrs" optimization; changeset | files
2010-09-14 blanchet speed up helper function changeset | files
2010-09-14 blanchet tuning changeset | files
2010-09-14 blanchet rename internal Sledgehammer constant changeset | files
2010-09-14 blanchet merged changeset | files
2010-09-13 blanchet merged changeset | files
2010-09-13 blanchet adapt to latest Metis version changeset | files
2010-09-13 blanchet regenerated "metis.ML" and reintroduced Larry's old hacks manually; changeset | files
2010-09-13 blanchet update scripts changeset | files
2010-09-13 blanchet change license, with Joe Hurd's permission changeset | files
2010-09-13 blanchet new version of the Metis files changeset | files
2010-09-13 blanchet remove old sources changeset | files
2010-09-13 blanchet remove "atoms" from the list of options with default values changeset | files
2010-09-13 blanchet remove unreferenced identifiers changeset | files
2010-09-13 blanchet make Auto Nitpick go through fewer scopes changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle