[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] New TLA+ Toolbox workspace
- From: "hwa...@xxxxxxxxx" <hwayne@xxxxxxxxx>
- Date: Sun, 22 May 2022 12:30:32 -0700 (PDT)
- Ironport-data: A9a23:wdb6a6rqWKsY2X/bCuRYG8eK0WleBmK9YBIvgKrLsJaIsI4StFCzt garIBnUb62DZjH8L9x0aYyy8xwEuJWAnNdrQVc5qCBhRXkXouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IHR7z+l4 4uo+ZWCYgX9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSycDl2MbCPot0WXhxdHjFuJY1/4bvYdC3XXcy7lyUqclPpyvRqSVgqZMgWo7YpR25J8 vMcJXYGaRXra+CemurqDLkxwJ19dI+ybN13VnJIlVk1Cd46RZnbR7jRptVe1x0bt50VPcjxO +c8QxBQUUr+QD5mH3guJaMVo7iVqlDXfDpfp1aYqrAw/nDIigd21dABNfKMJoPVFZkKxy50o Er32nT4IxJFFOWv1D6ky160mePNtyHkDdd6+LqQr6Y22jV/3Fc7BBwNXkagutGljkf4XslFb k0S4Csn66k07k2iCNfnNyBUu1aBtx8YHsNMSqg0sVHTjKXT5AmdCy4PSTsphMEaWNEeRwUUi VCU3OnQDjFqtbCFWWq9z66QsmbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl37UZ/hmgk 1i3QDgCa6Y71pFUiv3qlbzTq3f9+ciTF19dChD/Bzr9tmtEiJiZi5tEAGU3AN5FJYedC0Cd5 T0KwpjAqu8JCp6JmWqGR+Bl8FCVCxStb2O0bb1HRcNJG9GRF5iLINg4DNZWeBYBDyr8UWW1C HI/QCsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND66JNYMTPcgqL1Pep0mCgHJ8OUi9wSDAdolva f+mnTqEUB729Iw8kWbrHr9DuVPV7nlmnT6ILXwE8/hX+ePGOCT9pUYtP1yJYeQ0hJ5oUy2Em +uzw/CimkU3eLSmPEH/qNdDRXhXcyVTLc2o+qR/K77SSiI7STxJI6KAkdsJJdY594wLzb2g1 i/mCidlJK/XwCOvxfOiNCA5MdsCnP9X9hoGAMDbFQzzgCN9MN3xsPl3mlleVeBPydGPBMVcF 5EtE/hsyNwVItge0zhCP5T7sqJ4cxGn2VCHMya/OWZtcJlnSAjE9cXjYxP0siIJC3Pv58c5p rSh0CLdQIYCFlQ5V5+NN6zwwgPjp2UZlcJzQ1DMfotZdnLq/dU4MCf2lPI2f5wBJEyblDuX3 gqbGzkCouzJr9Nn+dXFn/HWoIKgEu84FU1fRjGJ4bGzPCjc32yi3Y4QCLbSLW6BDDv5ofzwa /9UwvfwNOw8sGxL64csQax2ya8e5sf0o+AIwwlhGkLNZQv5B75lJE6AwpAT5KBAw7luuTy2V FiKzd9UNOjbI8jiClMQeFMoY+najqMUlzDe4O4PLV3+9TNw+LbbA0xeMwPV1n5SK7x6NI4q2 +A8oNVQ4Au600J4PtGDhyFS1mKNMn1RA/5878pFXtDm2lgx11VPQZ3AESuqspuBXNNBbxsxK TiOiaue2rlRyxaQc3c3EnSRj+NRiY5U5EJPxV4GYk2Vw5/L369pmhJW9jszQ0JeyRAei7B/P W1iNktUI6SS/mc32JISATj0QwwRVgeE/kHRykcSkDGLRUefUGGQfnY2PvyA/RxE/m8NLDxa5 62lzn34WzLmIJP40icoBx43rvXiScB2pALFn8+jEsufGIQien/gi6mnamdL8ES3UJ9s2h2Y/ LA0v/t2crDxLiUKoqc2I4ad0rsURR+eI3FaWrdq+6ZQRTPQfzS72D6vLUGte5IdfKeTqhDmV ME+dNhSUxme1TqVqmxJD6A7JbIpzuUi48APe++2KGMK7+mWojZz7MOC9jTinHR5BJJhi8EgM piXeDWFHWidw3BTnijCts5ZIi2kZdAcYBDnm/uo+v4CDZMJvexhLRMo3r2vsynHOQdr5UjI7 gbKZquT1vA7jIo1z9WqHaJECAG5b9j0Ub3Qogy0tt1Pa/LJMNvP51xJ8Ai5Z1wOMOtDQclzm JSMrMXzgBHPsoEwXj2LgJKGDaRIuZi/Uec/3hgb95WGcfZumfMA4ifvP0i9IJ1N1cpBv4ypH lvmLsS3ctERVpFWw3g9h+2y1foCI/yfU0sijXrVQzew5tw13gvAI9eq+mXucHlAMCQPPvUSz yfq7u226IkwQJtkXXc56jIPP3O8CFDkXqQietLrsiSAFS+jhVbqVn4OU/Y/wWmjN0Ro2/oWL X4IqtYSufhyVGz1IAlljrFP
- Ironport-hdrordr: A9a23:m3zDbK+Iw3NolRdVhlluk+BHI+orL9Y04lQ7vn2ZKCYlCPBw8v rF8cjzuiWE7Ar5NEtQ/uxp1sG7MAfhHbAc2/hlAV7gZniWhIOQRLsSn7cKugeQbBEWldQtrp uJxsNFeaPN5CZB/L/HCVKDYqkdKbC8mcjC9IXjJhFWPH1Xgo5bgDuRYTzranGeKjM2Y6bQ1f Knl6l6TvmbF0j/rP7WOpG0NNKz1OEjWKiGXfb3bCRXlTVmRAnJmdvHOind5A4XV3dkwLsp82 TJ1yz/oou5te2joyWsp1Pu0w==
- Ironport-sdr: 04sh6wIrMvIW/bG3hINLbG8QOradhMEhDfyoU23/uoaYIEopBfk0W0+tGtSR52yAUCs5SiFnMc kazJOej/SbWWVEop0p0Ffk98sHhFDfUJiJ54ZGar3tBDmwACtLr3oa1QiGujwMMWSnsOGb1Amz X2M+Pzvd09fPnRuRI2H8C6qfSk7Ig4xETlJPuBvN42+VQBmLNdb4UnUGZ/YXIe5gMU1nuS6tGt +6M/Ztnf1yHotlqUqbULw8OisD8MCV3J+jCkIHq2FRSoORIM120PQ/iCmfLYdaie/9wDmsql77 aUpVOAqY9b5IrR+Oe0IN8x1j
How do I launch the toolbox with a new workspace, configuration, saved specs, etc? I want to do a fresh start for workshops without having to erase all my standard config.
H
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/29b1d6b2-2bc7-4bc9-a077-e24cafca1883n%40googlegroups.com.