nominal2: Changelog

Mercurial Mercurial > hg > nominal2 / changelog

Thu, 01 Apr 2010 16:08:54 +0200 fixed alpha_bn

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 16:08:54 +0200] rev 1755

fixed alpha_bn

Thu, 01 Apr 2010 15:41:48 +0200 current state

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 15:41:48 +0200] rev 1754

current state

Thu, 01 Apr 2010 14:53:14 +0200 merged

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 14:53:14 +0200] rev 1753

merged

Thu, 01 Apr 2010 14:49:01 +0200 added alpha_bn definition

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 14:49:01 +0200] rev 1752

added alpha_bn definition

Thu, 01 Apr 2010 14:50:58 +0200 hfill for right aligning single table cells.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 14:50:58 +0200] rev 1751

hfill for right aligning single table cells.

Thu, 01 Apr 2010 14:09:47 +0200 Cleaning the strong induction example.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 14:09:47 +0200] rev 1750

Cleaning the strong induction example.

Thu, 01 Apr 2010 12:19:26 +0200 minor

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 12:19:26 +0200] rev 1749

minor

Thu, 01 Apr 2010 12:13:25 +0200 Fighting with space in displaying strong induction...

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 12:13:25 +0200] rev 1748

Fighting with space in displaying strong induction...

Thu, 01 Apr 2010 11:34:43 +0200 starting strong induction

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 11:34:43 +0200] rev 1747

starting strong induction

Thu, 01 Apr 2010 10:57:49 +0200 General paper minor fixes.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 10:57:49 +0200] rev 1746

General paper minor fixes.

Thu, 01 Apr 2010 09:28:03 +0200 Forgot to save before commit.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 09:28:03 +0200] rev 1745

Forgot to save before commit.

Thu, 01 Apr 2010 08:48:33 +0200 Let with multiple bindings.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 08:48:33 +0200] rev 1744

Let with multiple bindings.

Thu, 01 Apr 2010 08:06:01 +0200 Fill the space below the figure.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 08:06:01 +0200] rev 1743

Fill the space below the figure.

Thu, 01 Apr 2010 06:47:37 +0200 last commit for now.

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 06:47:37 +0200] rev 1742

last commit for now.

Thu, 01 Apr 2010 06:04:43 +0200 more on the conclusion

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 06:04:43 +0200] rev 1741