EasyCrypt

  1. Bug #184714
  2. Activity log

Activity log for bug #184714

Date Who What changed Old value New value Message
2008-01-21 01:53:31 mehor bug added bug
2008-01-21 12:42:41 Mathieu Gaspard easycrypt: status New Confirmed