Darcy Shen

We(https://github.com/man-pages-zh) are maintaining manpages in Chinese. Currently, our contributions has been released and any debian sid user can read these translated manpages via ``` bash sudo apt install manpages-zh man...

This pull request is based on part of the changes in https://github.com/mgubi/texmacs/tree/s7 ## Purpose 1. Deprecate the usage of FullName.exe 2. Remove guile-only scheme functions in `TeXmacs/progs/database/db-users.scm` ## Test +...

Guile 3 Integration for GNU TeXmacs 2.1

6

## Build ### Build: Using autotools on GNU/Linux ``` CXXFLAGS="-g" LIBS="-lm -ldl" ./configure --enable-guile2 --prefix=$HOME/software make -j8 make install -j8 ``` ### Build: Using CMake on GNU/Linux ``` mkdir build...

Failed to `make expat`

5

See https://gist.github.com/sadhen/0496d57c041d5c6cbded9e346db842ca

A kalker GNU TeXmacs plugin might be the best user interface

4

I will try to make a minimum demo plugin within 1 month. I wonder if you know about the Maxima plugin in GNU TeXmacs.

Possible solutions to document for different versions

3

Any good ideas. This is a deployment issue.

We should catch the error earlier.

It might be a pyspark error message logging problem.

Base on my bad experience on https://github.com/eto-ai/rikai/issues/612 I think schema verification for ModelType is necessary to make it easier to develop a ModelType.

Support Databricks Runtime 11.x

1

For Rikai: + [Python notebooks now use the IPython kernel](https://docs.databricks.com/release-notes/runtime/11.0.html#id10)