1.1 --- a/src/Tools/isac/FE-interface/messages.sml	Wed Aug 25 15:15:01 2010 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,43 +0,0 @@
     1.4 -(* all messages are encoded to integers for the multi-language system
     1.5 -   use"FE-interface/messages.sml";
     1.6 -   use"messages.sml";
     1.7 -   *)
     1.8 -
     1.9 -datatype language = English | German | Japanese;
    1.10 -fun language2str English = "English"
    1.11 -  | language2str German = "German"
    1.12 -  | language2str Japanese = "Japanese";
    1.13 -
    1.14 -val language = English;
    1.15 -
    1.16 -(*1000 system*)
    1.17 -fun msg2str 1000 English =
    1.18 -    "msg 1000 English"
    1.19 -  | msg2str 1000 German =
    1.20 -    "msg 1000 German"
    1.21 -
    1.22 -(*2000 user in model- and specify-phase*)
    1.23 -  | msg2str 2020 English =
    1.24 -    "Kernel cannot propose a tactic (helpless!)"
    1.25 -
    1.26 -
    1.27 -(*3000 user in solve-phase*)
    1.28 -
    1.29 -(*4000 general*)
    1.30 -
    1.31 -(*5000 general*)
    1.32 -
    1.33 -(*6000 general*)
    1.34 -
    1.35 -(*7000 general*)
    1.36 -
    1.37 -(*1000 general*)
    1.38 -
    1.39 -(*1000 general*)
    1.40 -
    1.41 -(*1000 general*)
    1.42 -
    1.43 -(*1000 general*)
    1.44 -
    1.45 -  | msg2str i l = raise error ("no message for No. "^
    1.46 -			string_of_int i^" "^language2str l);