5 Commits

Author	SHA1	Message	Date
Christian Grothoff	1db6ae0671	adding man pages	2015-04-19 16:45:27 +02:00
Christian Grothoff	15bec8f464	make wireformat configurable (#3624)	2015-04-12 22:52:54 +02:00
Christian Grothoff	bd2372f20e	implementing #3740	2015-04-11 16:38:09 +02:00
Christian Grothoff	eae1896a4b	major rename-fest for more constent symbol names	2015-03-27 19:58:40 +01:00
Christian Grothoff	57d1f08dbc	-initial import for mint	2015-01-08 18:37:20 +01:00