Skip to content

Jenkins

log in

1. Dashboard
3. All
5. mettalog
7. #178
9. 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
  1. checkpoint for lsp #0 (details / githubweb)
  2. isolate doc_text_d4 from doc_text which is full text (details / githubweb)
  3. updates to LSP server and mettalog that are required for the LSP Server (details / githubweb)
• build #177 : Changes
  1. add comments (details / githubweb)
  2. add comments (details / githubweb)
  3. add comments (details / githubweb)
  4. add comments (details / githubweb)
  5. clarify prolog mode (details / githubweb)
• build #176 : Changes
  1. Fixed the loading of stdlib_mettalog for now (details / githubweb)