Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-09-18 | use pre-built man and texinfo from docs.git | Florian Dold | |
2016-03-01 | renaming mint->exchange | Christian Grothoff | |
2015-03-27 | major rename-fest for more constent symbol names | Christian Grothoff | |
2015-03-24 | address #3708: melt_hash => session_hash, use session_hash for DB access, ↵ | Christian Grothoff | |
not session_pub | |||
2015-03-24 | formulating coding style | Christian Grothoff | |