Fri, 21 Nov 2008 14:42:47 +0000Port Circulation from svn -r3516 (#175)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 14:42:47 +0000] rev 414
Port Circulation from svn -r3516 (#175)
Namely,
- port the files
- apply the migrate script
- apply the unify script
- fix the compilation
- strip the demo input file
- break long lines

Mon, 01 Dec 2008 13:49:55 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 01 Dec 2008 13:49:55 +0000] rev 413
Merge