billpage/fricas — pull request #1 by billpage (2014-04-04 04:46:08+00:00)
Title: - convert utf-8 to TeXmacs scheme Cork encoding

- convert +-> to
- implement 'SC output format for displaying indented code