Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 07 Apr 1997 14:53:08 +0200 added -t (run tests) option;
changeset
wenzelm [Mon, 07 Apr 1997 14:53:08 +0200] rev 2918
added -t (run tests) option;
Fri, 04 Apr 1997 19:11:19 +0200 added -g, -h options;
changeset
wenzelm [Fri, 04 Apr 1997 19:11:19 +0200] rev 2917
added -g, -h options; replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
Fri, 04 Apr 1997 19:10:22 +0200 tuned xdvi invocation;
changeset
wenzelm [Fri, 04 Apr 1997 19:10:22 +0200] rev 2916
tuned xdvi invocation;
Fri, 04 Apr 1997 19:09:21 +0200 replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
changeset
wenzelm [Fri, 04 Apr 1997 19:09:21 +0200] rev 2915
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
Fri, 04 Apr 1997 19:08:35 +0200 improved messages;
changeset
wenzelm [Fri, 04 Apr 1997 19:08:35 +0200] rev 2914
improved messages;
Fri, 04 Apr 1997 19:07:54 +0200 fixed diagnostic output of print modes;
changeset
wenzelm [Fri, 04 Apr 1997 19:07:54 +0200] rev 2913
fixed diagnostic output of print modes;
Fri, 04 Apr 1997 16:33:28 +0200 moved inj and surj from Set to Fun and Inv -> inv.
changeset
nipkow [Fri, 04 Apr 1997 16:33:28 +0200] rev 2912
moved inj and surj from Set to Fun and Inv -> inv.
Fri, 04 Apr 1997 16:27:39 +0200 Inv -> inv
changeset
nipkow [Fri, 04 Apr 1997 16:27:39 +0200] rev 2911
Inv -> inv
Fri, 04 Apr 1997 16:16:35 +0200 *** empty log message ***
changeset
slotosch [Fri, 04 Apr 1997 16:16:35 +0200] rev 2910
*** empty log message ***
Fri, 04 Apr 1997 16:04:28 +0200 Added Example Quot
changeset
slotosch [Fri, 04 Apr 1997 16:04:28 +0200] rev 2909
Added Example Quot CVS ----------------------------------------------------------------------
Fri, 04 Apr 1997 16:03:48 +0200 Start Example
changeset
slotosch [Fri, 04 Apr 1997 16:03:48 +0200] rev 2908
Start Example
Fri, 04 Apr 1997 16:03:44 +0200 inv -> inverse
changeset
nipkow [Fri, 04 Apr 1997 16:03:44 +0200] rev 2907
inv -> inverse
Fri, 04 Apr 1997 16:03:11 +0200 Example for higher order quotients: Fractionals
changeset
slotosch [Fri, 04 Apr 1997 16:03:11 +0200] rev 2906
Example for higher order quotients: Fractionals
Fri, 04 Apr 1997 16:02:12 +0200 (higher-order) quotient constructor quot, based on PER
changeset
slotosch [Fri, 04 Apr 1997 16:02:12 +0200] rev 2905
(higher-order) quotient constructor quot, based on PER
Fri, 04 Apr 1997 16:01:14 +0200 (partial) equivalecne relations. classes er<per
changeset
slotosch [Fri, 04 Apr 1997 16:01:14 +0200] rev 2904
(partial) equivalecne relations. classes er<per
Fri, 04 Apr 1997 14:48:40 +0200 Inv -> inv
changeset
nipkow [Fri, 04 Apr 1997 14:48:40 +0200] rev 2903
Inv -> inv
Fri, 04 Apr 1997 14:47:26 +0200 added -b option (batch mode);
changeset
wenzelm [Fri, 04 Apr 1997 14:47:26 +0200] rev 2902
added -b option (batch mode);
Fri, 04 Apr 1997 14:05:12 +0200 renamed variable 'inv'
changeset
nipkow [Fri, 04 Apr 1997 14:05:12 +0200] rev 2901
renamed variable 'inv'
Fri, 04 Apr 1997 14:01:18 +0200 added Quot examples;
changeset
wenzelm [Fri, 04 Apr 1997 14:01:18 +0200] rev 2900
added Quot examples;
Fri, 04 Apr 1997 13:57:40 +0200 *** empty log message ***
changeset
wenzelm [Fri, 04 Apr 1997 13:57:40 +0200] rev 2899
*** empty log message ***
Fri, 04 Apr 1997 13:56:11 +0200 Higher-order quotients.
changeset
wenzelm [Fri, 04 Apr 1997 13:56:11 +0200] rev 2898
Higher-order quotients.
Fri, 04 Apr 1997 12:21:28 +0200 Now calls blast_tac
changeset
paulson [Fri, 04 Apr 1997 12:21:28 +0200] rev 2897
Now calls blast_tac
Fri, 04 Apr 1997 11:33:51 +0200 Another blast_tac call
changeset
paulson [Fri, 04 Apr 1997 11:33:51 +0200] rev 2896
Another blast_tac call
Fri, 04 Apr 1997 11:32:44 +0200 Simplified a proof
changeset
paulson [Fri, 04 Apr 1997 11:32:44 +0200] rev 2895
Simplified a proof
Fri, 04 Apr 1997 11:28:28 +0200 Re-organization of the order of haz rules
changeset
paulson [Fri, 04 Apr 1997 11:28:28 +0200] rev 2894
Re-organization of the order of haz rules
Fri, 04 Apr 1997 11:27:02 +0200 Calls Blast_tac. Tidied some proofs
changeset
paulson [Fri, 04 Apr 1997 11:27:02 +0200] rev 2893
Calls Blast_tac. Tidied some proofs
Fri, 04 Apr 1997 11:20:31 +0200 Calls Blast_tac. Tidied some proofs
changeset
paulson [Fri, 04 Apr 1997 11:20:31 +0200] rev 2892
Calls Blast_tac. Tidied some proofs
Fri, 04 Apr 1997 11:18:52 +0200 Calls Blast_tac
changeset
paulson [Fri, 04 Apr 1997 11:18:52 +0200] rev 2891
Calls Blast_tac
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle