Commits · main · Ioanna M. Dimitriou H. / jeffrey · GitLab

Snippets Groups Projects

May 21, 2025
- Add clarification for FORMSNUM.TEX · 75d800d0
  Ioanna M. Dimitriou H. authored 2 months ago
  
  75d800d0
Aug 14, 2020
- Merge pull request #2 from farooqkz/patch-1 · a87007cb
  Ioanna M Dimitriou H authored 4 years ago
  Unverified
  
  a87007cb
Aug 06, 2020
- Fixing a small typo · 122a7427
  Farooq Karimi Zadeh authored 4 years ago
  
  Unverified
  
  122a7427
- This fixes issue #1 and changes the syntax of the graph* functions in a backwards compatible way. · cdfc237b
  Ioanna M. Dimitriou H. authored 4 years ago
  cdfc237b
Jun 03, 2017
- updated to-do list · 75e15c8d
  Ioanna M. Dimitriou H. authored 8 years ago
  
  75e15c8d
- added explanation to using jeff to create very large diagrams. · 026f5916
  Ioanna M. Dimitriou H. authored 8 years ago
  
  026f5916
- fixed typo · 34522fd5
  Ioanna M. Dimitriou H. authored 8 years ago
  
  34522fd5
- Removed Windows and Macintosh supported from the to-do list (lack of interested such users) · fa7cd888
  Ioanna M. Dimitriou H. authored 8 years ago
  
  fa7cd888
- removed misplaced and unused file · 544aa272
  Ioanna M. Dimitriou H. authored 8 years ago
  
  544aa272
- added .gitattributes to fix the language stats on GitHub repo · 8bb483b0
  Ioanna M. Dimitriou H. authored 8 years ago
  
  8bb483b0
Apr 27, 2017
- detached book1 equivalence test from standard test suit · 521de43b
  Ioanna M. Dimitriou H. authored 8 years ago
  521de43b
- removed assumption on the memoization matrix size · a1ffe966
  Ioanna M. Dimitriou H. authored 8 years ago
  
  a1ffe966
- removed forcing top and bottom node at the memoization stage · 6bbd0202
  Ioanna M. Dimitriou H. authored 8 years ago
  
  6bbd0202
- cleaned up whitespace around parse results · 2f59fbcb
  Ioanna M. Dimitriou H. authored 8 years ago
  
  2f59fbcb
- exported edge-attributes in :jeffrey.graph · 572cfde6
  Ioanna M. Dimitriou H. authored 8 years ago
  
  572cfde6
- cleaned up number labels · c6c92a9b
  Ioanna M. Dimitriou H. authored 8 years ago
  
  c6c92a9b
Feb 17, 2017
- the database of math-snippets · aa0e5857
  ioa authored 8 years ago
  
  aa0e5857
- correct image positioning · e199b214
  ioa authored 8 years ago
  
  e199b214
- minor changes · 436790c4
  ioa authored 8 years ago
  
  436790c4
- update · 5f158ae6
  ioa authored 8 years ago
  
  5f158ae6
- added compatibility with both ccl and sbcl · 3f52af14
  ioa authored 8 years ago
  
  3f52af14
- bash script to make the pngs of the math-snippets · 168965eb
  ioa authored 8 years ago
  
  168965eb
- Generated template for faster display. · 3731dc91
  ioa authored 8 years ago
  
  3731dc91
- Template for the list of forms and their statements · 79be3846
  ioa authored 8 years ago
  
  79be3846
- Some initial changes to the css, to accommodate the list of forms and their statements · ac666fcc
  ioa authored 8 years ago
  
  ac666fcc
- Added a list of forms and their statements, removed ancestors/descendants... · ddb991c3
  ioa authored 8 years ago
  ddb991c3
- Added graphing from a selection of forms · e074a50d
  ioa authored 8 years ago
  
  e074a50d
- A package to display the math parts of the LaTeX statements in HTML · 483f28e3
  ioa authored 8 years ago
  
  483f28e3
- Added documentation · 39b48271
  ioa authored 8 years ago
  
  39b48271
- Added documentation · 0d9bb86c
  ioa authored 8 years ago
  
  0d9bb86c
- Changed documentation and added latex-in-html package · 39a9a50c
  ioa authored 8 years ago
  
  39a9a50c
- Added latex-in-html package · aacf0213
  ioa authored 8 years ago
  
  aacf0213
- Added documentation · 07b43ec0
  ioa authored 8 years ago
  
  07b43ec0
- Further changes to ease parsing. · 488a6d8e
  ioa authored 8 years ago
  
  488a6d8e
Jan 14, 2017
- added link to book · 30a2e79d
  ioa authored 8 years ago
  
  30a2e79d
- updated todo · 8daf9b9c
  ioa authored 8 years ago
  
  8daf9b9c
Dec 26, 2016
- new module dedicated to parsing UI · c67f1b44
  ioa authored 8 years ago
  
  c67f1b44
- checking the input · 2b293856
  ioa authored 8 years ago
  
  2b293856
- updated readme · 807e7e0b
  ioa authored 8 years ago
  
  807e7e0b
- improve looks · ce986239
  ioa authored 8 years ago
  
  ce986239