Skip to content
Jenkins
log in
Dashboard
mettalog
#178
Changes since last success
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
build #178
: Changes
checkpoint for lsp #0 (
details
/
githubweb
)
isolate doc_text_d4 from doc_text which is full text (
details
/
githubweb
)
updates to LSP server and mettalog that are required for the LSP Server (
details
/
githubweb
)
build #177
: Changes
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
clarify prolog mode (
details
/
githubweb
)
build #176
: Changes
Fixed the loading of stdlib_mettalog for now (
details
/
githubweb
)