docs/embedding.md · dafe31abaff0b09ed6d6aba21c03ac0b9a59ff97 · Pierre Rousselin / jscoq-light

Source project has a limited visibility.

2 years ago

Shachar Itzhaky authored 2 years ago

To avoid confusion, `ui-js/jscoq.js` has been renamed.
Also, a legacy-mode `jscoq-loader.js` that emulates the old behavior.

dafe31ab

Shachar Itzhaky authored 2 years ago

To avoid confusion, `ui-js/jscoq.js` has been renamed.
Also, a legacy-mode `jscoq-loader.js` that emulates the old behavior.