Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 26 Oct 2009 20:41:26 +0100 wenzelm tuned; changeset | files
Mon, 26 Oct 2009 20:17:55 +0100 wenzelm added nitpick manual here; changeset | files
Mon, 26 Oct 2009 20:04:20 +0100 wenzelm recovered sort indentation for "sort position", as documented in the file; changeset | files
Mon, 26 Oct 2009 20:02:37 +0100 wenzelm tuned white space; changeset | files
Mon, 26 Oct 2009 15:36:50 +0100 haftmann merged changeset | files
Mon, 26 Oct 2009 15:17:02 +0100 haftmann merged changeset | files
Mon, 26 Oct 2009 15:16:28 +0100 haftmann avoid upto if not needed changeset | files
Mon, 26 Oct 2009 15:15:59 +0100 haftmann conceal quickcheck generators changeset | files
Mon, 26 Oct 2009 14:57:49 +0100 blanchet merged changeset | files
Mon, 26 Oct 2009 14:21:20 +0100 blanchet merged changeset | files
Mon, 26 Oct 2009 11:02:08 +0100 blanchet make Nitpick compile again changeset | files
Mon, 26 Oct 2009 09:14:29 +0100 blanchet merged changeset | files
Fri, 23 Oct 2009 20:14:25 +0200 blanchet be somewhat more liberal in Nitpick about which types may occur in formulas changeset | files
Fri, 23 Oct 2009 20:13:33 +0200 blanchet make the Nitpick examples work again changeset | files
Fri, 23 Oct 2009 19:00:36 +0200 blanchet updated keyword files to include "nitpick" and "nitpick_params" changeset | files
Fri, 23 Oct 2009 18:59:24 +0200 blanchet continuation of Nitpick's integration into Isabelle; changeset | files
Fri, 23 Oct 2009 18:57:35 +0200 blanchet updated Nitpick documentation to remove weird default for "overlord" changeset | files
Fri, 23 Oct 2009 14:45:01 +0200 blanchet updated Nitpick manual to reflect the latest Stand der Dinge changeset | files
Thu, 22 Oct 2009 16:34:49 +0200 blanchet merged changeset | files
Thu, 22 Oct 2009 16:34:30 +0200 blanchet wrap line correctly in Nitpick documentation changeset | files
Thu, 22 Oct 2009 14:51:47 +0200 blanchet added Nitpick's theory and ML files to Isabelle/HOL; changeset | files
Thu, 22 Oct 2009 14:45:20 +0200 blanchet Added Nitpick manual. changeset | files
Mon, 26 Oct 2009 14:54:43 +0100 berghofe merged changeset | files
Mon, 26 Oct 2009 14:53:33 +0100 berghofe Added Pattern.thy to Nominal/Examples. changeset | files
Mon, 26 Oct 2009 12:23:59 +0100 haftmann merged changeset | files
Mon, 26 Oct 2009 10:51:42 +0100 haftmann tuned changeset | files
Mon, 26 Oct 2009 10:51:42 +0100 haftmann added SML_Quickcheck import changeset | files
Mon, 26 Oct 2009 10:51:41 +0100 haftmann tuned code setup for primitive boolean connectors changeset | files
Mon, 26 Oct 2009 09:41:26 +0100 haftmann legacy warnings for old-style term styles changeset | files
Mon, 26 Oct 2009 12:02:06 +0100 wenzelm removed unnecessary NameSpace prefix; changeset | files
Mon, 26 Oct 2009 11:57:58 +0100 wenzelm misc tuning and updates; changeset | files
Mon, 26 Oct 2009 11:37:33 +0100 wenzelm merged changeset | files
Mon, 26 Oct 2009 11:36:23 +0100 wenzelm implicit default is 4 cores -- more cost-effective; changeset | files
Mon, 26 Oct 2009 11:30:20 +0100 wenzelm deleted junk; changeset | files
Mon, 26 Oct 2009 11:30:08 +0100 wenzelm more precise dependencies, notably for HOL-Multivariate_Analysis; changeset | files
Mon, 26 Oct 2009 11:19:24 +0100 haftmann re-moved theory Fin_Fun to AFP changeset | files
Mon, 26 Oct 2009 09:03:57 +0100 haftmann merged changeset | files
Fri, 23 Oct 2009 13:23:18 +0200 himmelma distinguished session for multivariate analysis changeset | files
Mon, 26 Oct 2009 08:54:20 +0100 haftmann adjusted to changes in corresponding ML code changeset | files
Sun, 25 Oct 2009 21:35:46 +0100 wenzelm eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion; changeset | files
Sun, 25 Oct 2009 20:54:21 +0100 wenzelm maintain theory name via name space, not tags; changeset | files
Sun, 25 Oct 2009 19:21:34 +0100 wenzelm name space groups are identified by serial, not serial_string; changeset | files
Sun, 25 Oct 2009 19:19:41 +0100 wenzelm maintain group via name space, not tags; changeset | files
Sun, 25 Oct 2009 19:19:35 +0100 wenzelm LocalTheory.naming_of; changeset | files
Sun, 25 Oct 2009 19:19:29 +0100 wenzelm begin_theory: set theory_name here; changeset | files
Sun, 25 Oct 2009 19:18:59 +0100 wenzelm maintain group via name space, not tags; changeset | files
Sun, 25 Oct 2009 19:18:25 +0100 wenzelm maintain proper Name_Space.naming, with conceal and set_group; changeset | files
Sun, 25 Oct 2009 19:17:42 +0100 wenzelm more direct access to naming; changeset | files
Sun, 25 Oct 2009 19:14:46 +0100 wenzelm Name_Space.naming: maintain group and theory_name as well; changeset | files
Sun, 25 Oct 2009 19:14:25 +0100 wenzelm export is_concealed; changeset | files
Sun, 25 Oct 2009 19:14:11 +0100 wenzelm merge_list: no exception DUP here; changeset | files
Sun, 25 Oct 2009 13:20:31 +0100 wenzelm merged changeset | files
Sun, 25 Oct 2009 13:14:00 +0100 wenzelm more uniform ISABELLE_USEDIR_OPTIONS; changeset | files
Sun, 25 Oct 2009 13:04:06 +0100 wenzelm make SML/NJ happy; changeset | files
Sun, 25 Oct 2009 13:18:35 +0100 wenzelm conceal consts via name space, not tags; changeset | files
Sun, 25 Oct 2009 12:27:21 +0100 wenzelm allow name space entries to be "concealed" -- via binding/naming/local_theory; changeset | files
Sun, 25 Oct 2009 11:58:11 +0100 wenzelm switch to polyml-5.2.1 to see if it impacts performance; changeset | files
Sun, 25 Oct 2009 08:57:55 +0100 chaieb merged changeset | files
Sun, 25 Oct 2009 08:57:36 +0100 chaieb Multivariate polynomials library over fields changeset | files
Sun, 25 Oct 2009 08:57:36 +0100 chaieb A theory of polynomials based on lists changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle