|
|
3316.
|
|
|
Matita
|
|
|
|
|
Matita
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matita:matita.desktop.in.h:1
|
|
|
3317.
|
|
|
Interactive theorem prover
|
|
|
|
|
Interaktiewe theorem prover
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matita:matita.desktop.in.h:2
|
|
|
3318.
|
|
|
MATLAB
|
|
|
|
|
MATLAB
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matlab-support:matlab.desktop.in.h:1
|
|
|
3319.
|
|
|
Scientific computing environment
|
|
|
|
|
Wetenskaplike rekenaar omgewing
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/matlab-support:matlab.desktop.in.h:2
|
|
|
3320.
|
|
|
Midnight Commander
|
|
|
|
|
Middernag Bevelvoerder
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mc:mc.desktop.in.h:1
|
|
|
3321.
|
|
|
File manager
|
|
|
|
|
Lêer bestuurder
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mc:mc.desktop.in.h:2
|
|
|
3322.
|
|
|
MComix
|
|
|
|
|
MComix
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcomix:mcomix.desktop.in.h:1
|
|
|
3323.
|
|
|
mCRL2
|
|
|
|
|
mCRL2
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcrl2:mcrl2-gui.desktop.in.h:1
|
|
|
3324.
|
|
|
Graphical front end for mCRL2 toolset
|
|
|
|
|
Grafiese front end vir mCRL2 nutsgoedstel
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcrl2:mcrl2-gui.desktop.in.h:2
|
|
|
3325.
|
|
|
Graphical IDE for MCS-51 based microcontrollers
|
|
|
|
|
Grafiese IDE vir MCS-51 gebaseerde mikrobeheerders
|
|
Translated and reviewed by
Bernard Stafford
|
|
|
|
Located in
../menu-data/mcu8051ide:mcu8051ide.desktop.in.h:1
|
