changeset 522 | d33698326409 |
parent 521 | 88a01948450d |
child 523 | 54bdda4aefa5 |
521:88a01948450d | 522:d33698326409 |
---|---|
1 accessing history:\\ |
|
2 {\ex \lstinline| \%hist|} |
|
3 |
|
4 accessing particular line of history:\\ |
|
5 {\ex \lstinline| \%hist line_number|} |
|
6 |
|
7 accessing particular range of history:\\ |
|
8 {\ex \lstinline| \%hist start_line stop_line|} |
|
9 |
|
10 saving history to a file:\\ |
|
11 {\ex \lstinline| \%save file_path line_numbers|} |
|
12 |
|
13 running a script:\\ |
|
14 {\ex \lstinline| \%run -i file_path|} |
|
15 |