Thu, 27 May 2010 18:10:37 +0200 | wenzelm | renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time; | file | diff | annotate |
Mon, 17 May 2010 23:54:15 +0200 | wenzelm | prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; | file | diff | annotate |
Wed, 05 May 2010 18:25:34 +0200 | haftmann | farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =) | file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Tue, 23 Jun 2009 12:09:14 +0200 | haftmann | renamed ioa to automaton | file | diff | annotate | base |