version 1.1, 1999/10/08 02:12:02 |
version 1.2, 1999/11/08 09:15:00 |
|
|
(\verb+ ox_asir + functions require open asir module.) message |
(\verb+ ox_asir + functions require open asir module.) message |
( ) message |
( ) message |
(\noindent ) messagen |
(\noindent ) messagen |
|
[(parse) (var.sm1) pushfile] extension ( ) message |
|
(\noindent ) messagen |
[(parse) (bfunction.sm1) pushfile] extension ( ) message |
[(parse) (bfunction.sm1) pushfile] extension ( ) message |
(\noindent ) messagen |
(\noindent ) messagen |
[(parse) (hol.sm1) pushfile] extension ( ) message |
[(parse) (hol.sm1) pushfile] extension ( ) message |
|
|
(intersection) |
(intersection) |
(saturation) |
(saturation) |
(res-div) (res-solv) (res-dual) (res-kernel-image) (ox) (oxconnect) |
(res-div) (res-solv) (res-dual) (res-kernel-image) (ox) (oxconnect) |
|
(debugMode) (db.where) (db.restore) (db.clear) (db.clear.es) |
|
(db.where.es) (localVariables) (restoreVariables) (db.clear.ds) |
|
(db.clear.es) |
] |
] |
def |
def |
keys shell /keys set |
keys shell /keys set |