isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 20 Apr 2010 14:56:58 +0200 respectfullness and preservation of map for identity quotients

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 14:56:58 +0200] rev 36216

respectfullness and preservation of map for identity quotients

Tue, 20 Apr 2010 14:56:20 +0200 respectfullness and preservation of function composition

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 14:56:20 +0200] rev 36215

respectfullness and preservation of function composition

Tue, 20 Apr 2010 14:55:53 +0200 eta-normalize the goal since the original theorem is atomized

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 14:55:53 +0200] rev 36214

eta-normalize the goal since the original theorem is atomized

Tue, 20 Apr 2010 11:31:14 +0200 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;

changeset

wenzelm [Tue, 20 Apr 2010 11:31:14 +0200] rev 36213

accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;

Tue, 20 Apr 2010 11:26:25 +0200 refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;

changeset

wenzelm [Tue, 20 Apr 2010 11:26:25 +0200] rev 36212

refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;

Tue, 20 Apr 2010 06:53:50 +0200 merged

changeset

haftmann [Tue, 20 Apr 2010 06:53:50 +0200] rev 36211

merged

Mon, 19 Apr 2010 15:31:58 +0200 more appropriate representation of valid positions for abstractors

changeset

haftmann [Mon, 19 Apr 2010 15:31:58 +0200] rev 36210

more appropriate representation of valid positions for abstractors

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom