Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -300 -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
Thu, 29 Sep 2005 17:08:52 +0200 wenzelm pdfsetup.sty: better not rely on ifpdf.sty; file | diff | annotate
Thu, 29 Sep 2005 15:50:43 +0200 wenzelm Isabelle2005 (October 2005); file | diff | annotate
Thu, 29 Sep 2005 00:58:54 +0200 wenzelm tuned; file | diff | annotate
Wed, 28 Sep 2005 18:50:42 +0200 webertj pointer to HOL/ex/SAT_Examples.thy added file | diff | annotate
Wed, 28 Sep 2005 11:50:13 +0200 wenzelm revert 'defs' advertisement; file | diff | annotate
Tue, 27 Sep 2005 17:24:27 +0200 wenzelm more details about incomplete 'defs'; file | diff | annotate
Tue, 27 Sep 2005 11:27:07 +0200 wenzelm tuned; file | diff | annotate
Tue, 27 Sep 2005 11:03:38 +0200 berghofe Added entries for code_module, code_library, and value. file | diff | annotate
Sun, 25 Sep 2005 20:24:23 +0200 wenzelm * Hyperreal: A theory of Taylor series. file | diff | annotate
Fri, 23 Sep 2005 23:28:59 +0200 webertj new sat tactic file | diff | annotate
Fri, 23 Sep 2005 13:20:47 +0200 wenzelm tuned; file | diff | annotate
Fri, 23 Sep 2005 10:25:55 +0200 paulson ATP linkup file | diff | annotate
Fri, 23 Sep 2005 00:10:58 +0200 nipkow *** empty log message *** file | diff | annotate
Thu, 22 Sep 2005 18:59:41 +0200 huffman HOLCF theorem naming conventions file | diff | annotate
Wed, 21 Sep 2005 17:21:35 +0200 haftmann added AList.make, eq_fst, apr ... file | diff | annotate
Wed, 21 Sep 2005 11:50:52 +0200 wenzelm tunes; file | diff | annotate
Wed, 21 Sep 2005 00:07:32 +0200 wenzelm tuned; file | diff | annotate
Tue, 20 Sep 2005 22:02:06 +0200 wenzelm tuned; file | diff | annotate
Tue, 20 Sep 2005 21:48:47 +0200 wenzelm tuned; file | diff | annotate
Tue, 20 Sep 2005 14:20:58 +0200 wenzelm HOL/ex/Chinese.thy; file | diff | annotate
Tue, 20 Sep 2005 08:20:22 +0200 haftmann infix operator precedence file | diff | annotate
Sat, 17 Sep 2005 18:11:17 +0200 wenzelm HTML.with_charset; file | diff | annotate
Sat, 17 Sep 2005 12:18:00 +0200 wenzelm Cube: converted to Isar, use locales; file | diff | annotate
Fri, 16 Sep 2005 23:55:23 +0200 huffman add HOLCF entries for pcpodef, cont_proc, fixrec; file | diff | annotate
Fri, 16 Sep 2005 14:44:52 +0200 ballarin tuned file | diff | annotate
Thu, 15 Sep 2005 20:27:48 +0200 wenzelm * Improved efficiency of the Simplifier etc.; file | diff | annotate
Thu, 15 Sep 2005 20:24:53 +0200 wenzelm incorporated HOL/Hyperreal/CHANGES; file | diff | annotate
Thu, 15 Sep 2005 17:16:53 +0200 wenzelm command 'thms_containing' has been discontinued in favour of 'find_theorems'; file | diff | annotate
Thu, 15 Sep 2005 10:00:01 +0200 haftmann AList, the_* file | diff | annotate
Wed, 14 Sep 2005 23:31:09 +0200 wenzelm tuned; file | diff | annotate
Wed, 14 Sep 2005 23:15:00 +0200 wenzelm hide: added option '(open)'; file | diff | annotate
Wed, 14 Sep 2005 23:06:02 +0200 schirmer ... prem19 file | diff | annotate
Wed, 14 Sep 2005 22:18:55 +0200 wenzelm Method comm_ring for proving equalities in commutative rings. file | diff | annotate
Wed, 14 Sep 2005 22:04:36 +0200 wenzelm HOL: method comm_ring; file | diff | annotate
Tue, 13 Sep 2005 22:49:12 +0200 wenzelm tuned; file | diff | annotate
Tue, 06 Sep 2005 16:59:50 +0200 wenzelm axclass: name space prefix is now "c_class" instead of just "c"; file | diff | annotate
Mon, 05 Sep 2005 17:49:28 +0200 wenzelm tuned; file | diff | annotate
Mon, 05 Sep 2005 17:38:15 +0200 wenzelm Markup commands 'chapter' .. 'text' support optional locale specification; file | diff | annotate
Fri, 02 Sep 2005 09:50:58 +0200 ballarin print_locale omits facts by default file | diff | annotate
Wed, 31 Aug 2005 15:46:30 +0200 wenzelm * Delimiters of outer tokens now produce separate LaTeX macros; file | diff | annotate
Tue, 30 Aug 2005 12:47:53 +0200 paulson patterns in setsum and setprod file | diff | annotate
Sun, 28 Aug 2005 16:06:07 +0200 wenzelm * ML functions legacy_bindings and use_legacy_bindings; file | diff | annotate
Sun, 28 Aug 2005 16:04:50 +0200 wenzelm tuned; file | diff | annotate
Wed, 24 Aug 2005 12:07:00 +0200 ballarin Printing of interpretations: option to show witness theorems; file | diff | annotate
Thu, 18 Aug 2005 11:59:17 +0200 wenzelm * The ML antiquotation prints type-checked ML expressions verbatim. file | diff | annotate
Thu, 18 Aug 2005 11:17:32 +0200 wenzelm * Proper output of proof terms within a proof context; file | diff | annotate
Wed, 17 Aug 2005 17:03:20 +0200 ballarin Interpretation in locales. file | diff | annotate
Wed, 17 Aug 2005 14:19:17 +0200 nipkow *** empty log message *** file | diff | annotate
Tue, 16 Aug 2005 13:42:13 +0200 wenzelm * Command tags control specific markup of certain regions of text (replaces usedir -H); file | diff | annotate
Wed, 03 Aug 2005 14:49:04 +0200 avigad mentioned change to exp_ge_add_one_self, new transitivity rules file | diff | annotate
Mon, 01 Aug 2005 19:21:38 +0200 wenzelm * Pure/Simplifier: improved handling of bound variables; file | diff | annotate
Fri, 29 Jul 2005 19:47:41 +0200 avigad mentioned Ln in NEWS file | diff | annotate
Thu, 28 Jul 2005 15:19:44 +0200 wenzelm tuned; file | diff | annotate
Mon, 25 Jul 2005 18:54:49 +0200 avigad Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy file | diff | annotate
Tue, 19 Jul 2005 17:54:32 +0200 wenzelm tuned; file | diff | annotate
Tue, 19 Jul 2005 17:24:09 +0200 avigad added list of theorem changes to NEWS file | diff | annotate
Mon, 18 Jul 2005 14:10:11 +0200 haftmann reverted from fold_yield to fold_map file | diff | annotate
Fri, 15 Jul 2005 15:45:04 +0200 wenzelm *** empty log message *** file | diff | annotate
Fri, 15 Jul 2005 15:44:11 +0200 wenzelm * Pure/library.ML: several combinators for linear functional transformations; file | diff | annotate
Thu, 14 Jul 2005 19:29:00 +0200 wenzelm * Improved 'oracle' command -- type-safe; file | diff | annotate
less more (0) -300 -100 -60 tip
isabelle