| Fri, 06 Aug 2010 14:37:04 +0200 | wenzelm | updated keywords; | changeset | files |
| Fri, 06 Aug 2010 14:35:04 +0200 | wenzelm | removed obsolete Goal.local_future_enforced: Toplevel.run_command is no longer interactive, so Goal.local_future_enabled is sufficient (cf. 349e9223c685 and e07dacec79e7); | changeset | files |
| Fri, 06 Aug 2010 12:38:02 +0200 | wenzelm | merged | changeset | files |
| Fri, 06 Aug 2010 11:37:33 +0200 | blanchet | merged | changeset | files |
| Fri, 06 Aug 2010 11:35:10 +0200 | blanchet | quotient types registered as codatatypes are no longer quotient types | changeset | files |
| Fri, 06 Aug 2010 11:33:58 +0200 | blanchet | added a friendly warning | changeset | files |
| Fri, 06 Aug 2010 11:05:57 +0200 | blanchet | extend the scope of limitation about nonconservative extensions | changeset | files |