Commits · master · cloogle / cloogle.org

11 Oct, 2019 1 commit

Update to new Platform for multiline documentation of record... · 62c12a3d

Camil Staps authored Oct 11, 2019

Update to new Platform for multiline documentation of record fields/constructors (clean-and-itasks/clean-platform#77)

62c12a3d

12 Sep, 2019 1 commit
- Temporary fix: clone language-report in frontend for use on /doc · c0a9c846
  Camil Staps authored Sep 12, 2019
  
  c0a9c846
13 Aug, 2019 1 commit

Move encoding conversion to fetch_libs.sh so that the database is built on... · 4084a0bb

Camil Staps authored Aug 13, 2019

Move encoding conversion to fetch_libs.sh so that the database is built on UTF-8 files as well (prevents illegal characters in the JSON reults)

4084a0bb

28 Jun, 2019 1 commit
- Formatting of headings of package lists · 080a92bf
  Camil Staps authored Jun 28, 2019
  
  080a92bf
10 Jun, 2019 1 commit
- Update link to cloogle-irc · 3c231d0b
  Camil Staps authored Jun 10, 2019
  
  3c231d0b
03 Jun, 2019 1 commit
- Minor style improvements for source and documentation browsers (directories... · 9fba8921
  Camil Staps authored Jun 03, 2019
```
Minor style improvements for source and documentation browsers (directories now do not show a pointer cursor everywhere)
```
  9fba8921
27 Feb, 2019 1 commit
- Fix pluralisation bug for number of results of search suggestions · 63376d32
  Camil Staps authored Feb 27, 2019
  
  63376d32
26 Jan, 2019 2 commits
- Add robots.txt to avoid unnecessary calls to api.php · 6a5b5f37
  Camil Staps authored Jan 26, 2019
  
  6a5b5f37
- Allow selection of multiple lines in the library browser · f4fdd124
  Camil Staps authored Jan 26, 2019
  
  f4fdd124
11 Jan, 2019 2 commits
- Fix AP 2019 banner times (see !219 ) · 9096b296
  Camil Staps authored Jan 11, 2019
  
  9096b296
- Remove officialty claims without claiming unofficialty · 0b0c145a
  Camil Staps authored Jan 11, 2019
  
  0b0c145a
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 2 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