Public Git Hosting - pli.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 78674c2) | patch

commit	7ef5d756a1455b3689e69b10bbe98d34bfeff60b
author	alex_nanou <alex_nanou>
	Mon, 7 Jun 2004 23:17:30 +0000 (7 23:17 +0000)
committer	alex_nanou <alex_nanou>
	Mon, 7 Jun 2004 23:17:30 +0000 (7 23:17 +0000)
tree	792a49ac7ba106cae100a285d5a194dc6d1b2dee	tree \| snapshot (tar.gz zip)
parent	78674c2864896e0e9205c951619ffb8f27a08792	commit \| diff

added experimental pli.functional.seq, pli.fintional.ANY, pli.fintional.MAXIMUM and pli.fintional.MINIMUM...

PKG-INFO		diff \| blob \| blame \| history
pli/functional.py		diff \| blob \| blame \| history
pli/logictypes.py		diff \| blob \| blame \| history
pli/misc/namespace.py		diff \| blob \| blame \| history

PLI: a utility library for the Python language.