Sun, 16 Jan 2011 14:57:14 +0100 | wenzelm | added before_exit continuation for named targets (locale, class etc.), e.g. for final check/cleanup as in VC management; | file | diff | annotate |
Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
Wed, 24 Oct 2007 18:36:09 +0200 | schirmer | added Statespace library | file | diff | annotate |