* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.
 
* The Eclipse update site for the AspectLTL plug-in is http://aspectltl.ysaar.net/updatesite/.