Wed, 09 Jul 2008 22:25:24 +0200 tuned description;
wenzelm [Wed, 09 Jul 2008 22:25:24 +0200] rev 27512
tuned description;
Wed, 09 Jul 2008 22:23:34 +0200 changes wrt. gitweb style;
wenzelm [Wed, 09 Jul 2008 22:23:34 +0200] rev 27511
changes wrt. gitweb style;
Wed, 09 Jul 2008 22:13:09 +0200 style = isabelle (based on gitweb);
wenzelm [Wed, 09 Jul 2008 22:13:09 +0200] rev 27510
style = isabelle (based on gitweb);
Wed, 09 Jul 2008 20:18:06 +0200 rearrange instantiations
huffman [Wed, 09 Jul 2008 20:18:06 +0200] rev 27509
rearrange instantiations
Wed, 09 Jul 2008 17:14:31 +0200 added get_first;
wenzelm [Wed, 09 Jul 2008 17:14:31 +0200] rev 27508
added get_first; tuned;
Tue, 08 Jul 2008 23:20:07 +0200 updated generated file;
wenzelm [Tue, 08 Jul 2008 23:20:07 +0200] rev 27507
updated generated file;
Tue, 08 Jul 2008 23:14:35 +0200 updated generated file;
wenzelm [Tue, 08 Jul 2008 23:14:35 +0200] rev 27506
updated generated file;
Tue, 08 Jul 2008 22:25:12 +0200 fix more typos
huffman [Tue, 08 Jul 2008 22:25:12 +0200] rev 27505
fix more typos
Tue, 08 Jul 2008 22:07:39 +0200 fix another typo
huffman [Tue, 08 Jul 2008 22:07:39 +0200] rev 27504
fix another typo
Tue, 08 Jul 2008 22:02:15 +0200 fix typo
huffman [Tue, 08 Jul 2008 22:02:15 +0200] rev 27503
fix typo
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip