diff --git a/tbse b/tbse index c5820129a90da321e59c430d2517a01546dd636d..24447e0d91777e0454275d627bda4467a4184b01 100755 --- a/tbse +++ b/tbse @@ -16,6 +16,8 @@ # Full binary_c documentation is in the doc/ directory or online at # http://personal.ph.surrey.ac.uk/~ri0005/doc/binary_c/binary_c.html # +# Note: if you want to use MINT, see tbse.mint +# ################################################################################ # # To make this script work change the variables below which are given as