Lars Brinkhoff
2840566e29
Improve MACSYMA build script.
...
After typing (todo) or (todoi), wait for the string ") \r" to appear.
This signals the end of of a list printed right before reading new
input from the console.
2018-06-10 06:35:10 +02:00
..
2018-05-02 08:16:23 -07:00
2018-05-02 08:16:23 -07:00
2018-05-02 08:16:23 -07:00
2018-05-11 09:56:18 +02:00
2018-05-11 09:56:18 +02:00
2018-06-10 06:35:10 +02:00
2018-03-24 07:45:27 -07:00
2018-05-02 19:56:59 +02:00
2018-04-13 19:59:48 +02:00
2017-01-24 07:07:28 -08:00
2018-02-27 06:50:13 -08:00
2018-06-06 14:25:17 -07:00
2018-06-02 07:06:43 +02:00
2018-04-25 09:32:25 +01:00
2018-05-05 19:19:09 +02:00
2018-04-13 19:59:48 +02:00