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-28 bulwahn merged changeset | files
2010-09-28 bulwahn using SUBPROOF to ensure that rewriting is not done on the further subgoals of proof changeset | files
2010-09-28 bulwahn avoiding instable rotate_tac and using the nice Subgoal.FOCUS_PREMS instead changeset | files
2010-09-28 bulwahn adding test case for interpretation of arguments that are predicates simply as input changeset | files
2010-09-28 bulwahn only modes but not types are used to destruct terms and types; this allows to interpret arguments that are predicates simply as input changeset | files
2010-09-28 bulwahn weakening check for higher-order relations, but adding check for consistent modes changeset | files
2010-09-28 bulwahn handling higher-order relations in output terms; improving proof procedure; added test case changeset | files
2010-09-28 bulwahn renaming use_random to use_generators in the predicate compiler changeset | files
2010-09-28 bulwahn fixed a typo that caused the preference of non-random modes to be ignored changeset | files
2010-09-28 haftmann merged changeset | files
2010-09-28 haftmann modernized primrecs changeset | files
2010-09-28 haftmann modernized session changeset | files
2010-09-28 krauss consolidated tupled_lambda; moved to structure HOLogic changeset | files
2010-09-28 haftmann added dependency to base image to ensure that the doc test actually rebuilds the tutorial changeset | files
2010-09-28 krauss no longer declare .psimps rules as [simp]. changeset | files
2010-09-28 krauss added dependency to base images to ensure that the doc test actually rebuilds the tutorials changeset | files
2010-09-28 krauss removed unnecessary reference poking (cf. f45d332a90e3) changeset | files
2010-09-28 haftmann merged changeset | files
2010-09-28 haftmann consider quick_and_dirty option before loading theory changeset | files
2010-09-28 krauss dropped obsolete mk_tcl changeset | files
2010-09-28 blanchet make SML/NJ happy changeset | files
2010-09-27 haftmann merged changeset | files
2010-09-27 haftmann combine quote and typewriter tag; typewriter considers isa@parindent changeset | files
2010-09-27 haftmann combine quote and typewriter/tt tag changeset | files
2010-09-27 haftmann combine quote and typewriter tag; typewriter considers isa@parindent changeset | files
2010-09-27 haftmann combine quote and typewriter tag changeset | files
2010-09-29 wenzelm CONTROL-mouse management: handle windowDeactivated as well; changeset | files
2010-09-28 wenzelm CONTROL-mouse management: handle windowIconified; changeset | files
2010-09-28 wenzelm basic support for message popups via HTML_Panel; changeset | files
2010-09-28 wenzelm tuned default perspective; changeset | files
2010-09-28 wenzelm tuned README; changeset | files
2010-09-28 wenzelm more defensive overview.paintComponent: avoid potential crash due to buffer change while painting; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle