equal
deleted
inserted
replaced
55 rm *.orig |
55 rm *.orig |
56 rm *.orig~ |
56 rm *.orig~ |
57 rm *.orig~~ |
57 rm *.orig~~ |
58 rm *.orig~~~ |
58 rm *.orig~~~ |
59 cd .. |
59 cd .. |
|
60 cd Doc |
|
61 rm *~ |
|
62 cd Lucas_Interpreter |
|
63 rm *~ |
|
64 cd document |
|
65 rm *~ |
|
66 cd .. |
|
67 cd output |
|
68 rm * |
|
69 rm -rf document/ |
|
70 cd .. |
|
71 cd .. |
|
72 cd .. |
60 cd ProgLang |
73 cd ProgLang |
61 echo "cd ProgLang was successful -------------------------------------------------------------" |
74 echo "cd ProgLang was successful -------------------------------------------------------------" |
62 rm *.sml~ |
75 rm *.sml~ |
63 rm *.sml~ |
76 rm *.sml~ |
64 rm *.sml~~ |
77 rm *.sml~~ |