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.
 
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
Wed, 10 Aug 2005 15:29:56 +0200 ballarin New command: interpretation in locales. changeset | files
Tue, 09 Aug 2005 19:10:30 +0200 nipkow moved wf_induct_rule from PreList.thy to Wellfounded_Recursion.thy changeset | files
Tue, 09 Aug 2005 15:44:24 +0200 haftmann exported after_qed for arity proofs changeset | files
Tue, 09 Aug 2005 11:44:38 +0200 nipkow added finite(option) to Recdef.thy changeset | files
Tue, 09 Aug 2005 11:00:44 +0200 haftmann added selectors 'classes_of' and 'classes_arities_of' changeset | files
Tue, 09 Aug 2005 10:23:14 +0200 haftmann exported dest_def changeset | files
Tue, 09 Aug 2005 10:03:30 +0200 haftmann added 'the_const_constraint' changeset | files
Tue, 09 Aug 2005 08:56:34 +0200 haftmann (added to repository) changeset | files
Tue, 09 Aug 2005 08:54:41 +0200 haftmann (added to repository) changeset | files
Mon, 08 Aug 2005 22:14:04 +0200 ballarin After_qed takes result argument. changeset | files
Mon, 08 Aug 2005 22:11:31 +0200 ballarin Release of interpretation in locale. changeset | files
Mon, 08 Aug 2005 12:15:03 +0200 nipkow fixed typo in ratadd changeset | files
Mon, 08 Aug 2005 09:29:16 +0200 haftmann added hint for position of aqu options in connection with styles changeset | files
Mon, 08 Aug 2005 09:28:25 +0200 haftmann clarified ML_idf changeset | files
Sun, 07 Aug 2005 12:30:45 +0200 nipkow moved some rat functions to library.ML changeset | files
Sun, 07 Aug 2005 12:28:10 +0200 nipkow added more rat functions changeset | files
Sat, 06 Aug 2005 18:06:56 +0200 berghofe Tuned comment. changeset | files
Sat, 06 Aug 2005 08:16:19 +0200 nipkow new lemma changeset | files
Fri, 05 Aug 2005 19:58:30 +0200 berghofe Added ENTCS 2000 paper by Aleksey Nogin. changeset | files
Fri, 05 Aug 2005 19:57:57 +0200 berghofe New case study: pigeonhole principle. changeset | files
Fri, 05 Aug 2005 19:56:58 +0200 berghofe Added Extraction/Pigeonhole. changeset | files
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle