Commit History

Author SHA1 Message Date
  Andreas Rumpf 8f0c9b2fdd string comparisons don't have to know the strings representation 6 years ago
  Andreas Rumpf ce01472ff3 refactorings in preparations for the new runtime 6 years ago