tirons/lemma_mirror

şunun yansıması https://github.com/LemmaSoftware/Lemma.git

Ağaç: 667e3a58b9

Yazar	SHA1	Mesaj	Tarih
Trevor Irons	667e3a58b9	testing improved, slow march	8 yıl önce
Trevor Irons	137f9f6b8d	Work towards porting FD1D over to the new build. Also cleaning up the air layer stuff, so that things are more explicit and clear.	8 yıl önce