wenzelm [Tue, 26 Jun 2012 15:58:22 +0200] rev 48148
updated crontab on macbroy27 and macbroy2;
wenzelm [Tue, 26 Jun 2012 15:55:02 +0200] rev 48147
use macbroy27 instead of macbroy28, which is broken for several weeks already;
blanchet [Tue, 26 Jun 2012 11:18:55 +0200] rev 48146
reintroduced "t@" encoding, this time sound
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48145
compile
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48144
tuning
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48143
renamed experimental option
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48142
finished implementation of DFG type class output
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48141
more work on DFG type classes
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48140
more work on class support
blanchet [Tue, 26 Jun 2012 11:14:40 +0200] rev 48139
generate type classes for polymorphic DFG format (SPASS)