Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
Wed, 29 Aug 2007 23:06:27 +0200 wenzelm renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS; file | diff | annotate
Wed, 29 Aug 2007 22:47:01 +0200 wenzelm added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin); file | diff | annotate
Mon, 27 Aug 2007 17:34:55 +0200 wenzelm HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded); file | diff | annotate
Fri, 10 Aug 2007 10:54:19 +0200 wenzelm HOL_USEDIR_OPTIONS: default to -M 1 (more robust); file | diff | annotate
Fri, 10 Aug 2007 10:41:57 +0200 wenzelm added jEdit mode spec; file | diff | annotate
Mon, 23 Jul 2007 01:17:57 +0200 kleing increase default max heap size for poly to -H 500 (this is what isatest uses, file | diff | annotate
Tue, 17 Jul 2007 22:51:13 +0200 wenzelm added ISABELLE_FILE_IDENT (command line for source file identification); file | diff | annotate
Wed, 30 May 2007 23:32:54 +0200 wenzelm tuned USEDIR_OPTIONS; file | diff | annotate
Sun, 21 Jan 2007 16:43:47 +0100 wenzelm tuned comments file | diff | annotate
Wed, 13 Dec 2006 12:10:54 +0100 wenzelm tuned comments; file | diff | annotate
Tue, 05 Dec 2006 18:33:29 +0100 wenzelm setup for polyml-5.0; file | diff | annotate
Thu, 23 Nov 2006 18:49:03 +0100 wenzelm ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER; file | diff | annotate
Sat, 04 Nov 2006 19:25:38 +0100 wenzelm HOL_USEDIR_OPTIONS: -p 1 by default; file | diff | annotate
Wed, 11 Oct 2006 22:56:10 +0200 wenzelm increased heap size for polyml-4.9.1; file | diff | annotate
Thu, 28 Sep 2006 20:30:53 +0200 wenzelm added Poly/ML 4.9.1 (experimental!); file | diff | annotate
Fri, 07 Jul 2006 02:12:52 +0200 webertj added support for MiniSat 1.14 file | diff | annotate
Tue, 21 Mar 2006 15:38:53 +0100 wenzelm fixed example; file | diff | annotate
Fri, 10 Feb 2006 02:22:13 +0100 wenzelm simplified polyml example; file | diff | annotate
Fri, 21 Oct 2005 16:34:22 +0200 wenzelm added simplified settings for Poly/ML 4.x (commented out); file | diff | annotate
Fri, 21 Oct 2005 16:22:59 +0200 wenzelm reverted (accidental?) change of 1.148; file | diff | annotate
Fri, 21 Oct 2005 02:57:22 +0200 mengj Merged theory ResAtpOracle.thy into ResAtpMethods.thy file | diff | annotate
Wed, 19 Oct 2005 14:51:12 +0200 wenzelm moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default! file | diff | annotate
Wed, 19 Oct 2005 06:33:24 +0200 mengj Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover"). file | diff | annotate
Tue, 11 Oct 2005 13:30:17 +0200 wenzelm tuned; file | diff | annotate
Sat, 08 Oct 2005 20:15:32 +0200 wenzelm Poplog/PML: ML_SUFFIX=.psv; file | diff | annotate
Wed, 05 Oct 2005 19:28:12 +0200 wenzelm added Poplog/PML version 15.6/2.1 (experimental!); file | diff | annotate
Wed, 21 Sep 2005 20:26:45 +0200 wenzelm PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again); file | diff | annotate
Tue, 20 Sep 2005 16:19:51 +0200 webertj pointers to src/HOL/Tools/sat_solver.ML added in comments file | diff | annotate
Wed, 14 Sep 2005 22:04:34 +0200 wenzelm no longer prefer xemacs, which fails more often than GNU emacs; file | diff | annotate
Thu, 18 Aug 2005 12:11:06 +0200 wenzelm tuned; file | diff | annotate
Tue, 16 Aug 2005 13:42:14 +0200 wenzelm -V outline=/proof,/ML; file | diff | annotate
Tue, 02 Aug 2005 21:29:06 +0200 wenzelm tuned ML_OPTIONS; file | diff | annotate
Tue, 02 Aug 2005 19:47:11 +0200 wenzelm tuned; file | diff | annotate
Mon, 01 Aug 2005 19:20:21 +0200 wenzelm polyml: use polyml-platform/version from Isabelle distribution; file | diff | annotate
Mon, 01 Aug 2005 11:39:33 +0200 obua 1. changed configuration variables for linear programming (Cplex_tools): file | diff | annotate
Tue, 19 Jul 2005 17:21:46 +0200 wenzelm retract accidental user commit; file | diff | annotate
Tue, 19 Jul 2005 16:16:53 +0200 obua proving bounds for real linear programs file | diff | annotate
Tue, 12 Jul 2005 17:56:03 +0200 avigad added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities) file | diff | annotate
Fri, 17 Jun 2005 17:06:11 +0200 wenzelm updated; file | diff | annotate
Sun, 05 Jun 2005 11:31:13 +0200 wenzelm #SMLNJ_CYGWIN_RUNTIME=1 file | diff | annotate
Thu, 02 Jun 2005 18:29:46 +0200 wenzelm renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; file | diff | annotate
Tue, 17 May 2005 18:10:35 +0200 wenzelm removed ISAMODE settings; file | diff | annotate
Fri, 29 Apr 2005 08:05:06 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done) file | diff | annotate
Fri, 29 Apr 2005 08:03:01 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done) file | diff | annotate
Wed, 27 Apr 2005 23:04:50 +0200 gagern removed --version which is not a valid polyml flag and has no effect file | diff | annotate
Tue, 26 Apr 2005 19:50:31 +0200 wenzelm reverted accidental commit of user modification; file | diff | annotate
Wed, 20 Apr 2005 22:37:29 +0200 gagern Fix automatic determination of poly version. file | diff | annotate
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code. file | diff | annotate
Thu, 14 Apr 2005 19:30:57 +0200 aspinall Include automatic determination of poly version. file | diff | annotate
Wed, 13 Apr 2005 18:48:05 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION *** file | diff | annotate
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message *** file | diff | annotate
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr. file | diff | annotate
Sun, 06 Feb 2005 13:12:32 +0100 paulson fixed mac line file | diff | annotate
Thu, 25 Nov 2004 14:38:37 +0100 webertj added ZCHAFF_VERSION file | diff | annotate
Sun, 14 Nov 2004 01:56:58 +0100 webertj *** empty log message *** file | diff | annotate
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added file | diff | annotate
Mon, 04 Oct 2004 15:25:28 +0200 paulson PDF_VIEWER suggestion file | diff | annotate
Thu, 30 Sep 2004 07:14:34 +0200 kleing display pdf as well as dvi file | diff | annotate
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004 file | diff | annotate
Tue, 15 Jun 2004 00:50:10 +0200 webertj Jerusat settings added file | diff | annotate
less more (0) -100 -60 tip
isabelle