/japanese/k12/

	Commit message (Expand)	Author	Age	Files	Lines
*	- Update coq to 8.4.3	johans	2014-01-11	3	-38/+39
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1
*	- Add build dependency due to tex changes	johans	2013-06-13	1	-1/+1
*	Rectify USE_TEX to support both of teTeX and TeXLive.	hrs	2013-05-12	1	-1/+1
*	Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex	hrs	2013-05-06	1	-1/+1