NDCODE repository - ack.git/commit

public / ack.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 791ec39) | patch

author	ceriel <none@none>
	Wed, 27 May 1987 10:05:01 +0000 (10:05 +0000)
committer	ceriel <none@none>
	Wed, 27 May 1987 10:05:01 +0000 (10:05 +0000)
commit	86c5c56a387c72efc19b1b8cb1e9eefd046bed97
tree	39c9c6d5969695677f49743464a54bd1f8db9acd	tree \| snapshot
parent	791ec39e57e7971a340346f06f6ba20bd4587f08	commit \| diff

Added Mathlib; MathLib0 now uses Mathlib

lang/m2/libm2/.distr		diff \| blob \| history
lang/m2/libm2/FIFFEF.def		diff \| blob \| history
lang/m2/libm2/FIFFEF.e		diff \| blob \| history
lang/m2/libm2/LIST		diff \| blob \| history
lang/m2/libm2/Makefile		diff \| blob \| history
lang/m2/libm2/MathLib0.def		diff \| blob \| history
lang/m2/libm2/MathLib0.mod		diff \| blob \| history
lang/m2/libm2/Mathlib.def	[new file with mode: 0644]	blob
lang/m2/libm2/Mathlib.mod	[new file with mode: 0644]	blob
lang/m2/libm2/RealConver.mod		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.