Commits · 8a95132f7544a26e8c50a5020cc8128723338af1 · Cloogle / cloogle.org

10 Jan, 2019 1 commit
- Change cloogle's unofficiality status to official · 8a95132f
  Mart Lubbers authored Jan 09, 2019
  
  8a95132f
09 Jan, 2019 1 commit
- Add banners for AP 18/19 · c81dab38
  Mart Lubbers authored Jan 09, 2019
```
Banner for the exam, the resit and the practice session
```
  c81dab38
15 Dec, 2018 2 commits
- Split usage queries on ; instead of , to allow searching for tuples · a9fb5d6e
  Camil Staps authored Dec 15, 2018
  
  a9fb5d6e
- Add "exact X" kind of query to HTTP frontend for exactName in backend · 3012a64f
  Camil Staps authored Dec 15, 2018
  
  3012a64f
21 Nov, 2018 1 commit
- Show including apps suggestion also on typeName/className queries · d0244e26
  Camil Staps authored Nov 21, 2018
  
  d0244e26
20 Nov, 2018 1 commit
- Also add usages link on results from Clean core; add two ranking constraints · 8f108dd7
  Camil Staps authored Nov 20, 2018
  
  8f108dd7
15 Nov, 2018 3 commits
- Link to #215 instead of !216 from banner (the issue gives more information) · ffe00e18
  Camil Staps authored Nov 15, 2018
  
  ffe00e18
- Add symbolic ranking support (#215 ) · 33124f23
  Camil Staps authored Nov 15, 2018
  
  33124f23
- Recognise "instance X" queries in long-term statistics · 11aeab8f
  Camil Staps authored Nov 15, 2018
  
  11aeab8f
14 Nov, 2018 1 commit
- Add unzip to installation scripts · 91c6d95b
  Camil Staps authored Nov 14, 2018
  
  91c6d95b
13 Nov, 2018 1 commit
- Searching for "instance X" now returns class results with all information unfolded (resolves #216 ) · 2b5da708
  Camil Staps authored Nov 13, 2018
  
  2b5da708
10 Nov, 2018 1 commit
- Hide identity assignments in unifiers · cd182f61
  Camil Staps authored Nov 10, 2018
  
  cd182f61
24 Oct, 2018 1 commit
- Make more-info links easier to click on · 80767bd7
  Camil Staps authored Oct 24, 2018
  
  80767bd7
23 Oct, 2018 1 commit
- Reorganise libraries into core, peripheral and applications · 9b35bc01
  Camil Staps authored Oct 23, 2018
  
  9b35bc01
22 Oct, 2018 1 commit
- Revert inadvertent change from 13157b1c ; fix build-log.txt in backend/build.sh · bcb0fa4f
  Camil Staps authored Oct 22, 2018
  
  bcb0fa4f
21 Oct, 2018 1 commit
- Update cloogle-discord link · 13157b1c
  Camil Staps authored Oct 21, 2018
  
  13157b1c
20 Oct, 2018 3 commits
- Update cloogle-cli link in stats · 1d99d132
  Camil Staps authored Oct 20, 2018
  
  1d99d132
- Move to GitLab CI · f3ec8ead
  Camil Staps authored Oct 20, 2018
  
  f3ec8ead
- Update links for move to GitLab · 5d74f126
  Camil Staps authored Oct 20, 2018
  
  5d74f126
07 Oct, 2018 1 commit
- Use localStorage to save hidden banners instead of cookie · 938c5d47
  Camil Staps authored Oct 07, 2018
  
  938c5d47
06 Oct, 2018 1 commit
- Use new clean-doc-markup package · ab9f59f4
  Camil Staps authored Oct 06, 2018
  
  ab9f59f4
04 Oct, 2018 6 commits
- Some frontend enhancements related to suggestions · dadccaa4
  Camil Staps authored Oct 04, 2018
  
  dadccaa4
- Add suggestion to set include_apps=true (#212 ) · cdb03ae5
  Camil Staps authored Oct 04, 2018
  
  cdb03ae5
- Yet another stab at #211 (weird edge bug with deleting all text from input field) · 8f4522e3
  Camil Staps authored Oct 04, 2018
  
  8f4522e3
- Potential fix for #211 : pressing delete when whole query is selected deletes the input field · e83871d4
  Camil Staps authored Oct 04, 2018
  
  e83871d4
- Add SoccerFun information banner (#212 ) · 289a31af
  Camil Staps authored Oct 04, 2018
  
  289a31af
- This seems to fix #210 (spaces in input field were discarded) · 959561f7
  Camil Staps authored Oct 04, 2018
  
  959561f7
27 Sep, 2018 3 commits
- Properly fix the issue from a90fd457 : don't add \n to the input field in the first place · 4dc9851c
  Camil Staps authored Sep 27, 2018
  
  4dc9851c
- Don't add type to macro results now that the fe_representation includes this · 78ab91bc
  Camil Staps authored Sep 27, 2018
  
  78ab91bc
- Workaround for contenteditable bug in firefox (present up to 63.0b9) when... · a90fd457
  Camil Staps authored Sep 27, 2018
```
Workaround for contenteditable bug in firefox (present up to 63.0b9) when enter is pressed when the cursor stands after a whitespace character
```
  a90fd457
02 Sep, 2018 1 commit
- Update information about frontends; restyle "how to use" · a9173316
  Camil Staps authored Sep 02, 2018
  
  a9173316
30 Aug, 2018 1 commit
- open help text when searching for "how to use" · b5290e52
  Camil Staps authored Aug 30, 2018
  
  b5290e52
23 Aug, 2018 1 commit
- Minor frontend fixes · 200272fa
  Camil Staps authored Aug 23, 2018
  
  200272fa
11 Aug, 2018 1 commit
- Common problems: don't show examples header when there are no examples · 21b3cfaf
  Camil Staps authored Aug 11, 2018
  
  21b3cfaf
13 Jul, 2018 1 commit
- Use clean-highlighter from npm · 70590aa9
  Camil Staps authored Jul 13, 2018
  
  70590aa9
11 Jul, 2018 1 commit
- Resolve #194 : show documentation of class members · fc6e0902
  Camil Staps authored Jul 11, 2018
  
  fc6e0902
09 Jul, 2018 1 commit
- Fix minimum of y axes in longterm graph to 0 · 866f8e74
  Camil Staps authored Jul 09, 2018
  
  866f8e74
07 Jul, 2018 3 commits
- Don't link qualified module names in highlighted code · 458c41a1
  Camil Staps authored Jul 07, 2018
  
  458c41a1
- Fix issue in browser for libraries that contain a directory and a module with... · f02e1380
  Camil Staps authored Jul 07, 2018
```
Fix issue in browser for libraries that contain a directory and a module with the same name (e.g. Gast)

In this case, clicking the module with that name would not make the node
italic.
```
  f02e1380
- Remove banners from /src and /doc (issue with reappearing banners) · 4090ea34
  Camil Staps authored Jul 07, 2018
  
  4090ea34