MML review process


2013 2014
Incorporated into the MML:

    FM 23(1), 2015
  1. CAT_7 (2.06.2014)
  2. GROUP_19 (18.09.2014)
  3. ZMATRLIN (25.07.2014)
  4. SRINGS_3 (29.10.2014)
  5. NORMSP_4 (11.11.2014)
  6. GROUP_20 (11.11.2014)

    FM 23(2), 2015
  1. EUCLID11 (18.02.2015)
  2. FLEXARY1 previously known as EULPART1 (15.02.2015)
  3. EULRPART previously known as EULPART2 (15.02.2015)
  4. DIOPHAN1 (1.11.2014)
  5. SRINGS_4 (13.12.2014)
  6. NELSON_1 (8.03.2015)
  7. GROUP_1A - merged GROUP_1B, GROUP_2B, GROUP_3B, TOPGRP1B (16.10.2014)

    FM 23(3), 2015
  1. POLNOT_1 - merged with POLNOT_2 (8.02.2015)
  2. GRZLOG_1 (8.02.2015)
  3. CARDFIL2 (16.10.2014)
  4. ASYMPT_2 (28.10.2014)
  5. NEWTON02 (22.12.2014) merged with NEWTON03 (10.03.2015)
  6. DUALSP03 (26.11.2014)
  7. DUALSP04 (29.11.2014)
  8. DBLSEQ_3 (9.01.2015)

    FM 23(4), 2015
  1. CARDFIL3 (16.10.2014)
  2. FINTOPO7 (16.10.2014)
  3. ZMODUL07 (5.12.2014)
  4. MEASURE9 (16.01.2015) depends on DBLSEQ_3
  5. PETERSON (31.03.2015)
  6. RING_3 (20.04.2015)
  7. CAT_8 (1.06.2015)
  8. ASYMPT_3 (10.08.2015)
  9. LTLAXIO5 (16.09.2015)
  10. LATSTONE (16.09.2015)


    FM 24(1), 2016
  1. FINANCE3 (28.12.2014)
  2. EUCLID12 (9.04.2015)
  3. EUCLID13 (2.06.2015)
  4. ZMODUL08 (4.06.2015)
  5. ZMODLAT1 (9.06.2015)

Awaiting inclusion:
  1. MEASUR10 (8.09.2015)
  2. GROUP_21 (10.09.2015)
Awaiting authors' corrections:
Currently under review:
  1. BAGORD_2 (25.09.2015)
  2. COUSIN (3.10.2015)
  3. SRINGS_5 (24.10.2015)
  4. TOPMETR4 (9.12.2015)
  5. CARDFIL4 (11.12.2015)
  6. ROUGHS_3 (18.12.2015)

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

Last modified: December 30, 2015