Next | Query returned 4 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2012-10-05 15:52:02 by Aleksej Saushev | Files touched by this commit (32)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-04-18 16:30:16 by Kamel Derouiche | Files touched by this commit (2)
Log message:

	wip-analysis:
	------------
	o change maintainer move to jihbed.research      
	o clean DESCR
   2009-10-11 12:44:55 by Thomas Klausner | Files touched by this commit (222)
Log message:
Remove obsolete @dirrm lines.
   2009-06-18 01:42:49 by Kamel Derouiche | Files touched by this commit (4) | Imported package
Log message:
Import probe-1.30 as wip/probe.

ProBE is an animator for CSP processes allowing the user to explore
the behaviour of models interactively.

Next | Query returned 4 messages, browsing 1 to 10 | previous