[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] TLA+ intellij plugin
- From: Haruki Okada <ocadaruma@xxxxxxxxx>
- Date: Wed, 2 Feb 2022 23:02:24 -0800 (PST)
- Ironport-data: A9a23:vJ9LlqrYAcnY/p8/AAaPPgeT1e1eBmKXYBIvgKrLsJaIsI4StFCzt garIBnVaP2ON2Pwc491ao2190kF7ZLRx4U3GwQ+/y4wQSJE9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0YjR7z+l4 4uo+ZWFYAT9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurSLdSMoM5Hdwt1AWjgDGihhYKB41e7udC3XXcy7lyUqclPpyvRqSUYxZMgWp7cxDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq35p6apS6VG8ckikIITXxEfIvWZTeWObA49Ry9xcCrOZxIsTzQ PAzQAIzMSvgWjhgA3owM68fuc6Brnb4dDJcpV2Porcv+C7YywkZPL3FbIqKI4fVFa25mG6kt 3v33GCmXCo+H8GilyaC1iqor9P2yHaTtIU6TeXkrJaGmma7ym0IAwANTnOnpfD/j1WkHtNZM U0dvCsot6k7skKxJuQRRDW9qX+A+xkbAp9eTrx85waKxa7ZpQ2eAwDoUwKtdvQdiOs3SAA7j GbUlvKyDDVw7bCrZCO0o+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoYyeEJSpo2kcQwc0 wxmvwBl2OpO1Z9jO7GTuAGY02j19/AlWyZsvl2PNl9J+D+Vc2JMWmBFwV3S7PIFK4HAC1fc7 T4LnM+R6O1IBpaI/MBsfAnvNO7zjxpmGGeG6bKKI3XH32n1k5JEVd0IiAyS3G8zbq45lcbBO Sc/Qz956p5JJ2eNZqRqeY+3AMlC5fG+SY+1DayON4AWOckZmOq7EMdGNR/4M4fFwBlErE3DE crznTuEUSxDUvw+lFJauc9Hie5wmkjSOl8/tbiil0j9uVZvTHGSTrgBPTOzghMRvcu5TPHu2 48Hb6Oikk0BOMWnO3m/2dNNcTgicCZqbbir+50/XrPSf2JORTBxY8I9NJtkJ+SJaYwLyriXl px8M2cDoGfCaYrvclTXMy0zNe+0AP6SbxsTZEQRALph4FB7Ca7H0UvVX8FfkWAP+LMxwPhqY eMCfsncUP1DRi6epWYSap7yqIFtbhO2nRnINC2gOWBtc5llTg3P29nlYgq+pHJVV3Ho65Qz8 ++6ywfWYZsfXAA+XszYX/SikgGqtn8HleMuAkbFe4EBeEjl/IVwBTb2i/s7f5MFJRnZl2mV0 g+XBVETouyU+90599zAhKalqYa1ErsmThAKQTWDtbvvbHvU5Guux4NEQd2kRzGFWTOm4rima MVU0+r4b68KkVNMhIx2TORmwKc40N3w/uMIwwlhGkLLWFSlELZXJHeLgJtUvapXy74F4Aa7V xvUqNlXMLmEIvnoCFoAOA0hYrjR3P0YgGCMv/syJ0r+6SBt+6efSgNZOBzV0H5RK758MYUEx +Y9uZ9GsFfm0UV0bdvW3DpJ82msL2AbV/l1vJ8tBoK22BEgzUtPYMCBByL7vMOPZtFLPhV4K zOYnvCZ1bFVx06HdH1qUHaQjKxSgpMBvB0Mx1gHfgzblt3Aj/4x/RtQ7TVnEVgPn0sfi7p+a jpxKkl4BaSS5DM01sJNaGahRlNaDxqD902tllYExT/dTlK0a2rWMWc5Nbrf9UwV6TwMLD1S/ bWEzzTqVjHleMz+xCwvQVUgrvXlRNN8tVadyJH7QprVQMBjP3n4hLSzb3EDsRrtDOs+g0rIo eRl5uFtcba9PikV+vVpB46f3LUWaRaFOG0TEao6pfhWQz7RKGOoxDyDC0GtYccRdfbExkm1V p51LcVVWhXiiSuDomxJDKIAOeMlzv41+MIZKPSsKnQBrqOE6DVut53U+271g2psTM9pjN56N ofYbzafCSuLmHFPkHXMpsRJNzbqe9UCfwGgjum5/P9TTMAGueBoNEY1i/664iTTPwxg8BaZ+ gjEYvaOneBlzI1tmarqE7lCV1roc4KtDLzQ/VDhqclKYPPOLdzK61EfpG7hMlkEJrAWQdl2y emAvdOfMJkpZ1rqv701WqVtFpWlIe23VetTd8XwdTxUwHrEV8jr7B8OvWu/LPSlVT+bCtaPH 2OFhAmYLLb5mOuxAFVabC9RFxsSEaPqdrymriS4xxhJIgZIyhTJdbtL6lewBVy2tUY011nWB QjztPKj6cpfsZxXQhQDApmKxnO+zEDLAcMbSjE6idVU4qRETL9PVnsOWCfMMQ32N0Q=
- Ironport-hdrordr: A9a23:JVEIUqmeZgx9tFZ5X6Wx6Yurx6XpDfN7iWdD5ihNYBxZY6Wkfp +V/cjzhCWbtN9OYh4dcIi7Sda9qXO1z+8T3WGIVY3SHzUOy1HYUr2KirGSgQEIeheOttK1sJ 0BT0EQMqyKMbEXt7ee3OD8Kadd/DDlytHsuQ699QYWcegCUcgJhG0VZnf5Yy9LrUt9dOcE/f Gnl6x6Tk+bCAwqh7OAdwA4tob41rn2vaOjRSRDKw8s6QGIgz/twqX9CQKk0hAXVC4K6as+8E De+jaJopmLgrWe8FvxxmXT55NZlJ/K0d1YHvGBjcATN3HFlhuoXoJ8QLeP1QpF591HqWxa1u UkkS1QZ/ib2EmhJV1dZiGdgTUI5QxeskMKD2Xo3EcL7/aJGA7SQPAx9L6xOiGpm3bI+usMj5 6iGwmixstq5dSqplWi2zGAbWAeqqK5zEBS49L6xRZkIPgjQa4UoooF8ExPFpAcWCr89YA8Ce FrSNrR/fBMbDqhHj/kV0RUsZGRt04Ib1u7q4k5y4Wo+ikTmGo8w1oTxcQZkHtF/JUhS4Nc7+ CBNqhzjrlBQsIfcKo4XY46MIqKI32IRQiJPHOZIFzhGq1CM3XRq4Tv6LFw4O2xYpQHwJY7hZ yEWlJFsmw5fV7oFKS1rdN22wGIRH/4USXmy8lY6ZQ8srrgRKDzOSnGU1wqm9vImYRUPiQaYY f5BHt7OY6VEYLeI/cA4+SlYegnFZA3arxihuoG
- Ironport-sdr: bGW0EfY/k2Jt4N6tqC2qtGj9TqxLOBQw2wAD8YMZR8jbQjfPJdieSqHvMYXHol4VgMtj1F1cix pFjOm954zM2mY7i4DVdJUbJV8kgUnSqxx9I0v9U/V7+NSckLCeJsmRBTS60zkbQKmCEfrnuUDI JoPJjloLf3ZXvO+yj/40GvkH9Up2I/qz03khOSaPez6CrFoy2lsSb2Ily5jlht3Tk6K/unvVPt XanpG6m6fjCYvzKc83uc4CR3wvjsE1qU92jd1sADr/Qp3z0hQ2sRBt9Bn9vkr7S80+FeEQN4Ev SsoFpR5hwA4C4jULj+QYcRuO
Hi, TLA+ folks.
I would like to introduce TLA+ custom language plugin for Intellij IDEA.
https://github.com/ocadaruma/tlaplus-intellij-plugin
I'll be glad if you're interested in, and please feel free to give your feedbacks if any.
Regards,
--
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/1e781635-0b1a-4d47-a3b8-cb8ce8032d8cn%40googlegroups.com.