Wed, 11 Aug 2010 17:59:32 +0200 tuned internal structure
haftmann [Wed, 11 Aug 2010 17:59:32 +0200] rev 38382
tuned internal structure
Wed, 11 Aug 2010 17:19:27 +0200 remove reinit operation alltogether
haftmann [Wed, 11 Aug 2010 17:19:27 +0200] rev 38381
remove reinit operation alltogether
Wed, 11 Aug 2010 17:16:02 +0200 avoid arcane Local_Theory.reinit entirely
haftmann [Wed, 11 Aug 2010 17:16:02 +0200] rev 38380
avoid arcane Local_Theory.reinit entirely
Wed, 11 Aug 2010 16:02:03 +0200 more convenient split of class modules: class and class_declaration
haftmann [Wed, 11 Aug 2010 16:02:03 +0200] rev 38379
more convenient split of class modules: class and class_declaration
Wed, 11 Aug 2010 15:45:15 +0200 tuned
haftmann [Wed, 11 Aug 2010 15:45:15 +0200] rev 38378
tuned
Wed, 11 Aug 2010 15:09:31 +0200 stripped signature
haftmann [Wed, 11 Aug 2010 15:09:31 +0200] rev 38377
stripped signature
Wed, 11 Aug 2010 15:09:30 +0200 explicit accessed to structure Class_Target
haftmann [Wed, 11 Aug 2010 15:09:30 +0200] rev 38376
explicit accessed to structure Class_Target
Wed, 11 Aug 2010 14:54:10 +0200 tuned lowercase
haftmann [Wed, 11 Aug 2010 14:54:10 +0200] rev 38375
tuned lowercase
Sat, 14 Aug 2010 12:01:50 +0200 moved Document.text_edits to Thy_Syntax;
wenzelm [Sat, 14 Aug 2010 12:01:50 +0200] rev 38374
moved Document.text_edits to Thy_Syntax;
Sat, 14 Aug 2010 11:52:24 +0200 tuned;
wenzelm [Sat, 14 Aug 2010 11:52:24 +0200] rev 38373
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip