One or more new changesets pushed to the primary dolfin repository. A short summary of the last three changesets is included below.
changeset: 4324:a03e398e21ff78389b60fa1f2f2c184f8509b112 tag: tip parent: 4319:c680050b52cf9b9fdb9619b37d3020505558d819 parent: 4323:24426572de721f6c20be79705c675c259676334e user: Anders Logg <[EMAIL PROTECTED]> date: Wed Jun 18 18:11:21 2008 +0200 files: description: merge changeset: 4323:24426572de721f6c20be79705c675c259676334e parent: 4322:47ebbc16675955435873e70fcfa34dd84b7801ce parent: 4316:6fb741ed7bf95ca3437af147918c1b1ee6c2355c user: Ilmar Wilbers <[EMAIL PROTECTED]> date: Wed Jun 18 13:01:44 2008 +0200 files: description: Automated merge with http://fenics.org/hg/dolfin changeset: 4322:47ebbc16675955435873e70fcfa34dd84b7801ce parent: 4321:2cdfb8a7378cff40fa05ea8571802aa69b77cefc parent: 4315:362e95752e24c8cd9a532f79093e5e5d6f51d641 user: Ilmar Wilbers <[EMAIL PROTECTED]> date: Wed Jun 18 10:58:34 2008 +0200 files: description: Automated merge with http://fenics.org/hg/dolfin ---------------------------------------------------------------------- For more details, visit http://www.fenics.org/hg/dolfin _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
