MML review process


Incorporated into the MML:

    FM 25(1), 2017
  1. MEASUR11 (5.10.2016)
  2. POLYDIFF (21.11.2016)
  3. LIOUVIL1 (9.12.2016)
  4. LIOUVIL2 (9.12.2016)
  5. ANPROJ_9 (21.10.2016)
  6. REALALG1 (9.11.2016)
  7. ZMODLAT2 (22.11.2016)

    FM 25(2), 2017
  1. POLYVIE1 (24.02.2017)
  2. FUZNORM1 (23.03.2017)
  3. FINANCE4 (9.01.2017)
  4. PASCAL (16.01.2017)
  5. ORDERS_5 (30.03.2017)
  6. BASEL_1 (10.03.2017)
  7. BASEL_2 (10.03.2017)
  8. ZMODLAT3 (6.01.2017)

    FM 25(3), 2017
  1. VECTSP12 (11.11.2016) - after second round of reviews
  2. DUALSP05 (25.02.2017)
  3. RING_5 (29.05.2017)
  4. PELLS_EQ (31.05.2017)
  5. NOMIN_1 (12.07.2017)
  6. COUSIN2 (12.06.2017)
  7. MESFUN11 (13.07.2017)
  8. FUZIMPL1 (14.07.2017)

    FM 25(4), 2017
  1. REALALG2 (12.07.2017)
  2. FINANCE5 (27.07.2017) after second round of reviews
  3. NDIFF_8 (1.08.2017)
  4. DIOPHAN2 (2.09.2017)
  5. GTARSKI3 (2.10.2017)
  6. HILB10_1 aka MATIYA_1 (4.10.2017)

[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: October 16, 2018