| Thu, 27 Apr 2006 12:10:47 +0200 | paulson | cosmetic changes | changeset | files |
| Thu, 27 Apr 2006 12:09:32 +0200 | paulson | some new functions | changeset | files |
| Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | changeset | files |
| Wed, 26 Apr 2006 22:40:46 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Wed, 26 Apr 2006 22:38:16 +0200 | wenzelm | curried Seq.cons; | changeset | files |
| Wed, 26 Apr 2006 22:38:11 +0200 | wenzelm | removed splitAt (superceded by chop); | changeset | files |
| Wed, 26 Apr 2006 22:38:05 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 26 Apr 2006 20:34:11 +0200 | wenzelm | removed obsolete expand_case_tac; | changeset | files |