src/Tools/code/code_target.ML
Thu, 18 Oct 2007 16:09:39 +0200 haftmann CRITICAL evaluation
Fri, 12 Oct 2007 08:20:45 +0200 haftmann code_include replaces code_moduleprolog
Tue, 09 Oct 2007 17:10:38 +0200 wenzelm renamed AxClass.get_definition to AxClass.get_info (again);
less more (0) -10 -3 tip