Wed, 03 Dec 2008 09:53:58 +0100 haftmann fixed typo
Wed, 03 Dec 2008 09:51:35 +0100 haftmann unfold_locales is default method - no need for explicit references
Tue, 02 Dec 2008 17:50:39 +0100 wenzelm Automated merge with file:///mnt/home/isabelle-repository/repos/isabelle
Tue, 02 Dec 2008 14:29:12 +0100 berghofe Corrected imports.
Mon, 01 Dec 2008 15:36:48 -0800 huffman clean up imports related to ContNotDenum
Mon, 01 Dec 2008 22:00:38 +0100 wenzelm ignore aux stuff in doc-src;
Mon, 01 Dec 2008 19:42:26 +0100 haftmann merged
Mon, 01 Dec 2008 19:41:16 +0100 haftmann new Binding module
Mon, 01 Dec 2008 16:02:57 +0100 haftmann Locale.*note* with conventional argument type
Mon, 01 Dec 2008 14:56:08 +0100 haftmann added code equation for subset
Mon, 01 Dec 2008 17:38:17 +0100 ballarin Merged again.
Mon, 01 Dec 2008 17:37:02 +0100 ballarin Merged.
Mon, 01 Dec 2008 16:59:31 +0100 ballarin No resolution of patterns within context statements.
Tue, 02 Dec 2008 17:50:25 +0100 wenzelm removed CVS Id;
Mon, 01 Dec 2008 17:48:12 +0100 wenzelm proper check of ISABELLE_TOOLS directories;
Mon, 01 Dec 2008 17:32:40 +0100 wenzelm removed obsolete tags (leftover from old CVS branches);
Mon, 01 Dec 2008 17:07:06 +0100 wenzelm makedist -- make Isabelle source distribution (Mercurial version);
Mon, 01 Dec 2008 15:22:17 +0100 wenzelm renamed makedist_mercurial to makedist, deleting the old version;
Mon, 01 Dec 2008 14:46:27 +0100 wenzelm updated to python2.5;
Mon, 01 Dec 2008 14:42:24 +0100 wenzelm convert to isabelle-cvs, the old version;
Mon, 01 Dec 2008 14:41:13 +0100 wenzelm adapted description: old CVS;
Mon, 01 Dec 2008 13:43:32 +0100 ballarin Methods intro_locales and unfold_locales apply to both old and new locales.
Mon, 01 Dec 2008 12:17:04 +0100 haftmann code_include with attach
Mon, 01 Dec 2008 12:17:03 +0100 haftmann experimental implementation of a well-sorting algorithm
Mon, 01 Dec 2008 12:17:02 +0100 haftmann code_funcgr interface includes also sort algebra
Mon, 01 Dec 2008 12:17:01 +0100 haftmann exported get_accesses (for diagnostic purpose)
Mon, 01 Dec 2008 12:17:00 +0100 haftmann more means for algebra projection
Mon, 01 Dec 2008 12:16:59 +0100 haftmann consider TeX spacing conventions for punctuation marks
Sun, 30 Nov 2008 18:10:00 +0100 huffman fix typed print translation for card UNIV
Sun, 30 Nov 2008 16:00:16 +0100 wenzelm removed obsolete CVS instructions;
Sun, 30 Nov 2008 15:03:47 +0100 wenzelm fixed spelling;
Sun, 30 Nov 2008 14:43:29 +0100 wenzelm tuned;
Sun, 30 Nov 2008 14:03:46 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 14:03:45 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 12:58:20 +0100 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
Sun, 30 Nov 2008 12:25:54 +0100 wenzelm misc tuning and clarification;
Sat, 29 Nov 2008 19:21:32 +0100 wenzelm remove repository-only files;
Sat, 29 Nov 2008 19:20:12 +0100 wenzelm more .hgignore entries;
Sat, 29 Nov 2008 19:01:28 +0100 wenzelm tuned;
Sat, 29 Nov 2008 18:26:53 +0100 wenzelm basic setup of .hgignore;
Sat, 29 Nov 2008 18:19:59 +0100 wenzelm further notes;
Sat, 29 Nov 2008 17:09:28 +0100 wenzelm Important notes on Mercurial repository access for Isabelle.
Sat, 29 Nov 2008 13:39:45 +0100 nipkow Floats for Real.
Sat, 29 Nov 2008 13:39:23 +0100 nipkow new file float_syntax.ML
Sat, 29 Nov 2008 13:37:13 +0100 nipkow New lexical item "float".
Fri, 28 Nov 2008 17:43:06 +0100 ballarin Intro_locales_tac to simplify goals involving locale predicates.
Fri, 28 Nov 2008 12:26:14 +0100 ballarin Ahere to modern naming conventions; proper treatment of internal vs external names.
Fri, 28 Nov 2008 11:55:46 +0100 kleing added Tim's find_theorems performance patch
Fri, 28 Nov 2008 11:37:20 +0100 kleing FindTheorems performance improvements (from Timothy Bourke)
Fri, 28 Nov 2008 11:14:13 +0100 ballarin Perform higher-order pattern matching during round-up.
Thu, 27 Nov 2008 21:25:34 +0100 ballarin Proper treatment of expressions with free arguments.
Thu, 27 Nov 2008 21:25:16 +0100 ballarin Roundup bound.
Thu, 27 Nov 2008 10:30:42 +0100 ballarin Tests for sublocale command.
Thu, 27 Nov 2008 10:29:07 +0100 ballarin Sublocale command.
Thu, 27 Nov 2008 10:28:27 +0100 ballarin Command to add dependencies, fixed processing of dependencies.
Thu, 27 Nov 2008 10:26:00 +0100 ballarin Fixed strange indentation.
Tue, 25 Nov 2008 23:29:26 +0100 huffman add Algebraic and Universal to imports
Tue, 25 Nov 2008 23:29:01 +0100 huffman separate run and cases combinators
Tue, 25 Nov 2008 23:28:06 +0100 huffman renamed lemma compact_minimal to compact_bot_minimal;
Tue, 25 Nov 2008 23:26:44 +0100 huffman renamed lemma compact_minimal to compact_bot_minimal
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip