Thread Index (0702)

[Chronological Index] [Top]
Last update: Thu Dec 16 20:23:27 2021
37 threaded messages

  • [mizar] widening BinOp to Relation, Jesse Alama
  • [mizar] grammatical error in message for error #21, Jesse Alama
  • [mizar] request: provide emacs gab's as a single file, Jesse Alama
  • [mizar] installing mmlquery locally, Jesse Alama
  • [mizar] trouble with a term not having the expected type, Jesse Alama
  • [mizar] RSEISP'07 2nd Call for Papers - fwd., Software Administrator/Maintainer
  • [mizar] wiki.mizar.org is down, Jesse Alama
  • [mizar] referring to unlabeled theorems, Jesse Alama
  • [mizar] puzzling error *109, Jesse Alama
  • [mizar] unused loci, Jesse Alama

    • [Chronological Index] [Top]