Mercurial Mercurial > wneuper > isa / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Sun, 22 Feb 2009 20:37:18 +0100result for Swing.now;
changeset
wenzelm [Sun, 22 Feb 2009 20:37:18 +0100] rev 30103
result for Swing.now;

Sat, 21 Feb 2009 18:06:17 +0100replaced \overline by \vec;
changeset
wenzelm [Sat, 21 Feb 2009 18:06:17 +0100] rev 30102
replaced \overline by \vec;

Sat, 21 Feb 2009 18:05:34 +0100updated generated files;
changeset
wenzelm [Sat, 21 Feb 2009 18:05:34 +0100] rev 30101
updated generated files;

Sat, 21 Feb 2009 18:05:12 +0100tuned;
changeset
wenzelm [Sat, 21 Feb 2009 18:05:12 +0100] rev 30100
tuned;

Fri, 20 Feb 2009 21:01:52 +0100updated generated files;
changeset
wenzelm [Fri, 20 Feb 2009 21:01:52 +0100] rev 30099
updated generated files;

Fri, 20 Feb 2009 21:01:19 +0100removed junk;
changeset
wenzelm [Fri, 20 Feb 2009 21:01:19 +0100] rev 30098
removed junk;

Fri, 20 Feb 2009 21:00:28 +0100improved section "Rule composition";
changeset
wenzelm [Fri, 20 Feb 2009 21:00:28 +0100] rev 30097
improved section "Rule composition";
tuned;

Fri, 20 Feb 2009 19:07:31 +0100tuned;
changeset
wenzelm [Fri, 20 Feb 2009 19:07:31 +0100] rev 30096
tuned;

Fri, 20 Feb 2009 18:48:58 +0100improved section on "Hereditary Harrop Formulae";
changeset
wenzelm [Fri, 20 Feb 2009 18:48:58 +0100] rev 30095
improved section on "Hereditary Harrop Formulae";

Thu, 19 Feb 2009 21:19:49 +0100more on object-level rules;
changeset
wenzelm [Thu, 19 Feb 2009 21:19:49 +0100] rev 30094
more on object-level rules;
tuned;

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