equal
deleted
inserted
replaced
38 "class" |
38 "class" |
39 "classes" |
39 "classes" |
40 "classrel" |
40 "classrel" |
41 "clear_undos" |
41 "clear_undos" |
42 "codatatype" |
42 "codatatype" |
43 "code_classapp" |
43 "code_class" |
44 "code_constapp" |
44 "code_constapp" |
45 "code_constname" |
45 "code_constname" |
46 "code_generate" |
46 "code_generate" |
|
47 "code_instance" |
47 "code_library" |
48 "code_library" |
48 "code_module" |
49 "code_module" |
49 "code_purge" |
50 "code_purge" |
50 "code_serialize" |
51 "code_serialize" |
51 "code_simtype" |
52 "code_simtype" |
350 "axioms" |
351 "axioms" |
351 "class" |
352 "class" |
352 "classes" |
353 "classes" |
353 "classrel" |
354 "classrel" |
354 "codatatype" |
355 "codatatype" |
355 "code_classapp" |
356 "code_class" |
356 "code_constapp" |
357 "code_constapp" |
357 "code_constname" |
358 "code_constname" |
358 "code_generate" |
359 "code_generate" |
|
360 "code_instance" |
359 "code_library" |
361 "code_library" |
360 "code_module" |
362 "code_module" |
361 "code_purge" |
363 "code_purge" |
362 "code_serialize" |
364 "code_serialize" |
363 "code_typapp" |
365 "code_typapp" |