Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -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.
 
Thu, 18 Aug 2005 11:17:38 +0200 wenzelm load method.ML before proof.ML; changeset | files
Thu, 18 Aug 2005 11:17:37 +0200 wenzelm added interfaces for compile translation functions (from Isar/isar_thy.ML); changeset | files
Thu, 18 Aug 2005 11:17:36 +0200 wenzelm added tap; changeset | files
Thu, 18 Aug 2005 11:17:35 +0200 wenzelm updated; changeset | files
Thu, 18 Aug 2005 11:17:34 +0200 wenzelm usedir: tuned option -V; changeset | files
Thu, 18 Aug 2005 11:17:33 +0200 wenzelm usedir: removed option -H; changeset | files
Thu, 18 Aug 2005 11:17:32 +0200 wenzelm * Proper output of proof terms within a proof context; changeset | files
Wed, 17 Aug 2005 17:04:15 +0200 ballarin Improved generation of witnesses in interpretation. changeset | files
Wed, 17 Aug 2005 17:03:20 +0200 ballarin Interpretation in locales. changeset | files
Wed, 17 Aug 2005 17:02:16 +0200 ballarin Use interpretation in locales. changeset | files
Wed, 17 Aug 2005 15:10:00 +0200 paulson new examples changeset | files
Wed, 17 Aug 2005 14:19:17 +0200 nipkow *** empty log message *** changeset | files
Wed, 17 Aug 2005 13:52:53 +0200 paulson new command to invoke ATPs changeset | files
Wed, 17 Aug 2005 11:44:02 +0200 nipkow small mods to code lemmas changeset | files
Wed, 17 Aug 2005 11:15:23 +0200 wenzelm made SML/XL happy; changeset | files
Wed, 17 Aug 2005 08:06:12 +0200 nipkow list_all_conv -> iff changeset | files
Tue, 16 Aug 2005 19:25:42 +0200 nipkow name fix changeset | files
Tue, 16 Aug 2005 19:25:32 +0200 nipkow added quite a few functions for code generation changeset | files
Tue, 16 Aug 2005 18:53:11 +0200 paulson more simprules now have names changeset | files
Tue, 16 Aug 2005 15:36:28 +0200 paulson classical rules must have names for ATP integration changeset | files
Tue, 16 Aug 2005 13:54:24 +0200 nipkow added listT changeset | files
Tue, 16 Aug 2005 13:42:53 +0200 wenzelm support for document versions; changeset | files
Tue, 16 Aug 2005 13:42:52 +0200 wenzelm eliminated datatype token; changeset | files
Tue, 16 Aug 2005 13:42:51 +0200 wenzelm begin_index: list of docs; changeset | files
Tue, 16 Aug 2005 13:42:50 +0200 wenzelm added eq_syntax; changeset | files
Tue, 16 Aug 2005 13:42:49 +0200 wenzelm export proof_syntax, proof_of; changeset | files
Tue, 16 Aug 2005 13:42:48 +0200 wenzelm added String.isSuffix; changeset | files
Tue, 16 Aug 2005 13:42:47 +0200 wenzelm state: body context; changeset | files
Tue, 16 Aug 2005 13:42:46 +0200 wenzelm P.tags; changeset | files
Tue, 16 Aug 2005 13:42:45 +0200 wenzelm use_dir: removed hidden, added doc_versions; changeset | files
Tue, 16 Aug 2005 13:42:44 +0200 wenzelm back: removed ill-defined '!' option; changeset | files
Tue, 16 Aug 2005 13:42:43 +0200 wenzelm added transfer; changeset | files
Tue, 16 Aug 2005 13:42:42 +0200 wenzelm moved structure Keyword to OuterKeyword (Isar/outer_keyword.ML); changeset | files
Tue, 16 Aug 2005 13:42:41 +0200 wenzelm added tags parser; changeset | files
Tue, 16 Aug 2005 13:42:40 +0200 wenzelm clarify is_newline vs. is_blank; changeset | files
Tue, 16 Aug 2005 13:42:39 +0200 wenzelm default tags for theory/proof/ML commands; changeset | files
Tue, 16 Aug 2005 13:42:38 +0200 wenzelm reimplemented theory presentation, with support for tagged command regions; changeset | files
Tue, 16 Aug 2005 13:42:37 +0200 wenzelm back: removed ill-defined '!' option; changeset | files
Tue, 16 Aug 2005 13:42:36 +0200 wenzelm replaced sign by thy; changeset | files
Tue, 16 Aug 2005 13:42:35 +0200 wenzelm added liberal_name; changeset | files
Tue, 16 Aug 2005 13:42:34 +0200 wenzelm tuned Symbol.spaces; changeset | files
Tue, 16 Aug 2005 13:42:33 +0200 wenzelm tuned Buffer.add; changeset | files
Tue, 16 Aug 2005 13:42:32 +0200 wenzelm tuned unsuffix/unprefix; changeset | files
Tue, 16 Aug 2005 13:42:31 +0200 wenzelm type proof: theory_ref instead of theory (make proof contexts independent entities); changeset | files
Tue, 16 Aug 2005 13:42:30 +0200 wenzelm Isar command keyword classification (from Isar/outer_syntax.ML); changeset | files
Tue, 16 Aug 2005 13:42:29 +0200 wenzelm added Isar/outer_keyword.ML; changeset | files
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword; changeset | files
Tue, 16 Aug 2005 13:42:23 +0200 wenzelm updated; changeset | files
Tue, 16 Aug 2005 13:42:21 +0200 wenzelm removed -H false; changeset | files
Tue, 16 Aug 2005 13:42:20 +0200 wenzelm isatool usedir: option -V and -f; changeset | files
Tue, 16 Aug 2005 13:42:19 +0200 wenzelm tuned antiquotations; changeset | files
Tue, 16 Aug 2005 13:42:18 +0200 wenzelm \isabellestyleit: proper \isacharbackslash; changeset | files
Tue, 16 Aug 2005 13:42:17 +0200 wenzelm proper ML_DBASE for .../bin/poly; changeset | files
Tue, 16 Aug 2005 13:42:16 +0200 wenzelm added option -V VERSION; changeset | files
Tue, 16 Aug 2005 13:42:15 +0200 wenzelm added option -n NAME and -t TAGS; changeset | files
Tue, 16 Aug 2005 13:42:14 +0200 wenzelm -V outline=/proof,/ML; changeset | files
Tue, 16 Aug 2005 13:42:13 +0200 wenzelm * Command tags control specific markup of certain regions of text (replaces usedir -H); changeset | files
Tue, 16 Aug 2005 12:51:07 +0200 nipkow simp_depth warning now mod 20, not mod 10 (too often) changeset | files
Mon, 15 Aug 2005 21:39:15 +0200 dixon lucas - added pretty printing function and cleaned up signature a little. changeset | files
Mon, 15 Aug 2005 21:38:25 +0200 dixon lucas - fixed bug in changing focus - when moving up and right, if an abs was encountered it would move up an extra time. I also removed the spurious pretty printing function that did nothing. changeset | files
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle