isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 09 Jun 2006 17:30:52 +0200 - Changed naming scheme: names of "internal" constructors now have

changeset

berghofe [Fri, 09 Jun 2006 17:30:52 +0200] rev 19833

- Changed naming scheme: names of "internal" constructors now have "_Rep" as suffix - no need to set unique_names to false any longer - Cleaned up a bit (removed occurrences of strip_option and replace_types')

Fri, 09 Jun 2006 16:25:05 +0200 nbe -> NormalForm

changeset

nipkow [Fri, 09 Jun 2006 16:25:05 +0200] rev 19832

nbe -> NormalForm

Fri, 09 Jun 2006 14:20:09 +0200 CVS: ----------------------------------------------------------------------

changeset

webertj [Fri, 09 Jun 2006 14:20:09 +0200] rev 19831

CVS: ----------------------------------------------------------------------

Fri, 09 Jun 2006 12:17:58 +0200 renamed command

changeset

nipkow [Fri, 09 Jun 2006 12:17:58 +0200] rev 19830

renamed command

Fri, 09 Jun 2006 12:17:37 +0200 renamed file

changeset

nipkow [Fri, 09 Jun 2006 12:17:37 +0200] rev 19829

renamed file

Thu, 08 Jun 2006 17:04:49 +0200 Removed "code del" declarations again.

changeset

berghofe [Thu, 08 Jun 2006 17:04:49 +0200] rev 19828

Removed "code del" declarations again.

Thu, 08 Jun 2006 15:25:07 +0200 fixed owner bug

changeset

haftmann [Thu, 08 Jun 2006 15:25:07 +0200] rev 19827

fixed owner bug

Thu, 08 Jun 2006 14:48:28 +0200 less_equal -> less_eq (someone had screwd up here)

changeset

nipkow [Thu, 08 Jun 2006 14:48:28 +0200] rev 19826

less_equal -> less_eq (someone had screwd up here)

Thu, 08 Jun 2006 14:08:43 +0200 Splitting order changed.

changeset

chaieb [Thu, 08 Jun 2006 14:08:43 +0200] rev 19825

Splitting order changed.

Thu, 08 Jun 2006 13:49:53 +0200 added John's example

changeset

nipkow [Thu, 08 Jun 2006 13:49:53 +0200] rev 19824

added John's example

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

isabelle

RSS Atom