Inspections

Add 'latex' attribute to MathLatexResource (PR 37 of the doc).

master . #20 . pull request triggered

  Data is cleaned up.
01:34
created
Add 'latex' attribute to MathLatexResource (PR 37 of the doc).

master . #19 . pull request triggered

  Data is cleaned up.
02:01
created
New file hierarchy.

master . #18 . pull request triggered

  Data is cleaned up.
04:08
created
New file hierarchy.

master . #18 . pull request triggered

  Data is cleaned up.
03:18
created
Add triple parser.

master . #17 . pull request triggered

  Data is cleaned up.
09:32
created
Add triple parser.

master . #17 . pull request triggered

  Data is cleaned up.
06:55
created
Bump version number.

master . dc2c88...b9f3f9 . push triggered

  Data is cleaned up.
01:33
created
Use a specific logger.

master . 13ed95...dc2c88 . push triggered

  Data is cleaned up.
01:43
created
Deserialize trace items from requests too.

master . 027c6b...13ed95 . push triggered

  Data is cleaned up.
06:47
created
Fix JSON serialization.

master . 21d2f9...027c6b . push triggered

  Data is cleaned up.
05:53
created
Fix bugs related to lists and list operators.

master . #16 . pull request triggered

  Data is cleaned up.
01:13
created
Fix bugs related to lists and list operators.

master . #16 . pull request triggered

  Data is cleaned up.
47s
created
Make Lists hashable (+ fix instanciation of lists.

master . #15 . pull request triggered

  Data is cleaned up.
59s
created
Bump version number.

master . 5ddcce...56e8fd . push triggered

  Data is cleaned up.
01:16
created
Deserialize subtrees of List nodes.

master . 0023e3...ab0b31 . push triggered

  Data is cleaned up.
01:00
created
Test sub-trees are deserialized.

master . 7e02b1...0023e3 . push triggered

  Data is cleaned up.
01:40
created
Implement list operators recently added to the doc

master . #14 . pull request triggered

  Data is cleaned up.
02:17
created
Implement list operators recently added to the doc

master . #14 . pull request triggered

  Data is cleaned up.
01:31
created
Fix typo.

master . 32cdb3...7e02b1 . push triggered

  Data is cleaned up.
01:06
created
Lists

master . #13 . pull request triggered

  Data is cleaned up.
01:11
created