Index of /m/mcrl2/news

	Name	Last modified	Size
	Parent Directory		-
	20100310T133251Z.html	2010-03-10 13:33	4.0K
	20100411T173242Z.html	2010-04-11 17:32	4.7K
	20100427T163930Z.html	2010-04-27 16:40	2.3K
	20100803T214729Z.html	2010-08-03 21:47	4.5K
	20100814T163920Z.html	2010-08-14 16:39	2.3K
	20110325T141615Z.html	2011-03-25 14:16	4.3K
	20110407T163913Z.html	2011-04-07 16:39	2.3K
	20110719T071907Z.html	2011-07-19 07:19	4.4K
	20110729T163914Z.html	2011-07-29 16:39	2.3K
	20111220T103418Z.html	2011-12-20 10:34	4.5K
	20111231T163915Z.html	2011-12-31 16:44	2.3K
	20120223T170326Z.html	2012-02-23 17:03	4.4K
	20120224T154735Z.html	2012-02-24 15:47	4.0K
	20120306T163915Z.html	2012-03-06 16:39	2.3K
	20121012T103324Z.html	2012-10-12 10:33	4.1K
	20121031T191756Z.html	2012-10-31 19:18	3.7K
	20140307T163912Z.html	2014-03-07 16:40	2.8K
	20140907T101933Z.html	2014-09-07 10:19	3.9K
	20140918T163914Z.html	2014-09-18 16:57	2.2K
	20160716T163918Z.html	2016-07-16 16:39	2.7K
	20161229T163938Z.html	2016-12-29 16:49	2.2K
	20171205T043909Z.html	2017-12-05 04:39	2.2K
	20170114T163932Z.html	2017-12-05 04:39	2.7K
	20190707T191059Z.html	2019-07-07 19:11	3.7K
	20190709T043929Z.html	2019-07-09 05:24	2.5K