diff options
Diffstat (limited to 'js/Misc/AUTOMAT.pickle')
| -rw-r--r-- | js/Misc/AUTOMAT.pickle | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/js/Misc/AUTOMAT.pickle b/js/Misc/AUTOMAT.pickle index 9e378404..71d0c4df 100644 --- a/js/Misc/AUTOMAT.pickle +++ b/js/Misc/AUTOMAT.pickle @@ -154,27 +154,28 @@ p48 g6 sS'model.dep_ut' p49 -g9 -sS'exprs' +S'vector_boolean' p50 +sS'exprs' +p51 g4 sS'gr_i' -p51 +p52 g9 sS'ipar' -p52 +p53 g4 sS'y' -p53 +p54 g9 sS'x' -p54 -NsS'model' p55 +NsS'model' +p56 g6 sS'Minitial' -p56 +p57 g2 sS'imax' -p57 +p58 Ns.
\ No newline at end of file |