haftmann [Thu, 25 Oct 2007 19:27:52 +0200] rev 25194
dropped redundancy
haftmann [Thu, 25 Oct 2007 19:27:50 +0200] rev 25193
various localizations
wenzelm [Thu, 25 Oct 2007 16:57:57 +0200] rev 25192
made command 'undo' silent ('ProofGeneral.undo' becomes a historical relic);
haftmann [Thu, 25 Oct 2007 13:52:05 +0200] rev 25191
tuned
haftmann [Thu, 25 Oct 2007 13:52:04 +0200] rev 25190
clarified implementation
haftmann [Thu, 25 Oct 2007 13:52:03 +0200] rev 25189
propagation through class hierarchy
haftmann [Thu, 25 Oct 2007 13:52:02 +0200] rev 25188
added function for evaluation by compiler invocation
haftmann [Thu, 25 Oct 2007 13:52:01 +0200] rev 25187
more computation with rationals
haftmann [Thu, 25 Oct 2007 13:52:00 +0200] rev 25186
localized further
haftmann [Thu, 25 Oct 2007 13:51:58 +0200] rev 25185
continued