625 class edit_script
632   edit_script()  in edit_script()  function
652   append(const edit_script& es)  in append()
663   prepend(const edit_script& es)  in prepend()
1489 	     edit_script& ses,  in compute_diff()
1575       edit_script tmp_ses0;  in compute_diff()
1586       edit_script tmp_ses1;  in compute_diff()
1691 	     edit_script& ses,  in compute_diff()
1758 	     edit_script& ses)  in compute_diff()
1811 	     edit_script& ses)  in compute_diff()
1854 	     edit_script& ses)  in compute_diff()
1914 	     edit_script& ses)  in compute_diff()
1963 	     edit_script& ses)  in compute_diff()
2002 	     edit_script& ses)  in compute_diff()
2013 compute_ses(const char* str1, const char* str2, edit_script& ses);
2024 display_edit_script(const edit_script& es,  in display_edit_script()