Commits · cffee0afe956d91a5d367c3cb0ce7009410b55e5 · general / stups / ProB 2 Jupyter Kernel

Feb 18, 2020
- Fix MACHINE_INFO being recognized as machine instead of an expression · d0e3a169
  dgelessus authored 5 years ago
  
  d0e3a169
- Rerun all the notebooks · 57a7f3e1
  dgelessus authored 5 years ago
  
  57a7f3e1
Jan 09, 2020
- add new external functions · a6b4a72a
  Michael Leuschel authored 5 years ago
  
  a6b4a72a
May 06, 2019
- update external functions docu · fbe232dd
  Michael Leuschel authored 6 years ago
  
  fbe232dd
Aug 13, 2018
- Rerun all of the notebooks · da1d9df9
  dgelessus authored 6 years ago
  
  da1d9df9
Jun 06, 2018
- Rerun all notebooks · 43d027f2
  dgelessus authored 7 years ago
  
  43d027f2
May 16, 2018
- Remove inline stdlib definitions · 8ad235f6
  dgelessus authored 7 years ago
  8ad235f6
May 14, 2018
- add READ_XML example · feb60445
  Michael Leuschel authored 7 years ago
  
  feb60445
May 13, 2018
- more LibraryMeta predicates · eeadf0a0
  Michael Leuschel authored 7 years ago
  
  eeadf0a0
- add LibraryMeta descriptions · 5f53b453
  Michael Leuschel authored 7 years ago
  
  5f53b453
- really add description of SORT function · c947fd76
  Michael Leuschel authored 7 years ago
  
  c947fd76
May 11, 2018
- fix typos · fc5bedd1
  Michael Leuschel authored 7 years ago
  
  fc5bedd1
- update manual · 4cbcceb1
  Michael Leuschel authored 7 years ago
  
  4cbcceb1
- add first version of manual · d8a072ad
  Michael Leuschel authored 7 years ago
  
  d8a072ad