ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-08-14 12:50:37 +03:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Commit Graph

  • e4a98e4dd7 npm update Ivan 2024-09-23 11:59:34 +0300
  • ae1fceafcf M: Remove MockCst from sideView Ivan 2024-09-23 11:54:18 +0300
  • 00a1deda32 M: Improve coloring of constituents and statuses Ivan 2024-09-23 11:48:13 +0300
  • 990b340705 M: Improve manuals UI layout Ivan 2024-09-23 10:34:14 +0300
  • 35bfc86533 F: Update pyconcept and implement improved typechecking Ivan 2024-09-22 20:25:36 +0300
  • 7f88d030d4 M: Small UI layout fixes Ivan 2024-09-21 20:04:07 +0300
  • 02b6a53d00 M: Fix syntax error message Ivan 2024-09-21 17:25:15 +0300
  • c92a4058b9 M: Minor UI fixes Ivan 2024-09-19 20:52:37 +0300
  • abc28940a9 R: use React.PropsWithChildren Ivan 2024-09-19 17:49:25 +0300
  • 94a33a1f19 R: use React.ComponentProps Ivan 2024-09-19 17:36:34 +0300
  • c75258bfa9 B: Fix inserting operation in empty OSS Ivan 2024-09-19 16:27:16 +0300
  • 5d54734dfc npm update Ivan 2024-09-18 16:28:55 +0300
  • 7dc5d92588 B: Fix initial data Ivan 2024-09-18 16:25:55 +0300
  • 03643e49a9 M: Minor fix to AST viewer Ivan 2024-09-18 15:53:55 +0300
  • 519d060fcc B: Fix constituenta tooltip Ivan 2024-09-18 15:09:29 +0300
  • 4b15bfdd6d M: Edit manuals Ivan 2024-09-18 12:54:59 +0300
  • 6338888095 M: allow single operand synthesis Ivan 2024-09-16 19:38:51 +0300
  • 636a9a1650 M: UI improvements Ivan 2024-09-16 14:02:44 +0300
  • 9dec66dbda M: Add modifications check for operation editor Ivan 2024-09-16 13:46:13 +0300
  • 87ed5b39ae M: Improve Library location navigation Ivan 2024-09-15 21:19:17 +0300
  • 0dceb1d0c2 M: Improve InlineSynthesis UI Ivan 2024-09-15 13:21:25 +0300
  • fcfc2e909b F: Add schemas coloring option for TermGraph Ivan 2024-09-14 17:10:07 +0300
  • e0eb06b27f B: Fix buttons layers Ivan 2024-09-14 16:14:04 +0300
  • 80680a7bf2 R: Add inherited cst source to API Ivan 2024-09-14 15:15:36 +0300
  • 713d436aa6 M: Shorten manuals landing page Ivan 2024-09-13 13:31:23 +0300
  • 0fc8341155 B: Fix incorrect local variable index parsing Ivan 2024-09-13 12:16:02 +0300
  • 0211e2f58a R: Improve backend type hints, linting and package locks Ivan 2024-09-12 20:56:56 +0300
  • bc166b962e B: Fix cache after changing aliases Ivan 2024-09-12 17:56:09 +0300
  • c18efc93e1 D: Add documentation to react components pt1 Ivan 2024-09-12 16:42:02 +0300
  • 3e34414b85 R: Replace disabled buttons with indicators Ivan 2024-09-12 14:48:08 +0300
  • f7354c9883 F: Improve schema picker filtering Ivan 2024-09-12 13:27:20 +0300
  • dc60c79f81 M: Minor UI improvements Ivan 2024-09-12 11:17:01 +0300
  • 76d54fa709 B: Fix OSS image export. Use PNG for now Ivan 2024-09-12 00:13:29 +0300
  • f8d411eced B: Fix react-flow attribution styling Ivan 2024-09-11 21:26:04 +0300
  • 997021d628 M: Improve layout for canvas - remove clipping top Ivan 2024-09-11 21:15:53 +0300
  • 687f6e549e npm update Ivan 2024-09-11 20:09:36 +0300
  • aa33d0af6f R: Simplify Constituenta order attribute Ivan 2024-09-11 20:06:58 +0300
  • bc770abcf5
         M: Add server badge Ivan 2024-09-11 13:48:23 +0300
  • c35262dbfd M: Cleanup todos Ivan 2024-09-11 13:24:52 +0300
  • 3edee8450e M: Optimize dialogs height for small screen notebooks Ivan 2024-09-10 17:40:58 +0300
  • aebd1598ee B: Fix placeholder styling Ivan 2024-09-09 20:39:52 +0300
  • ca79161ed8 M: Fix text wrap for long filenames Ivan 2024-09-07 19:13:16 +0300
  • 701f9b57b9 M: Small UI fixes Ivan 2024-09-07 16:26:41 +0300
  • 3d45510cd6 M: Implement projection swap on ctrl + space Ivan 2024-09-06 15:59:28 +0300
  • 31fb5b82ef F: Improve RSEditor layout responsiveness Ivan 2024-09-06 13:50:00 +0300
  • 95f833d97d B: Fix renaming validation Ivan 2024-09-05 21:25:09 +0300
  • 38766f3588 B: Save ordering when selection changes Ivan 2024-09-05 20:28:25 +0300
  • b2f9c26155 M: Fix text justify for manuals Ivan 2024-09-05 20:13:59 +0300
  • 716b1e5e06 npm update Ivan 2024-09-04 14:41:57 +0300
  • 318fadcc5f F: Add ordering to OSS arguments Ivan 2024-09-04 14:35:17 +0300
  • 0dda271014 R: Disable tailwind optimizations for local builds Ivan 2024-09-04 12:31:55 +0300
  • 09d571332a B: Open OSS for public Ivan 2024-09-02 18:42:19 +0300
  • 15837d7a06 M: Prevent user from creating OSS from file Ivan 2024-09-02 18:38:36 +0300
  • 79c2050ed2 F: Improve tooltips positioning and text truncation Ivan 2024-09-02 18:34:18 +0300
  • 40b799d815 M: Add fixed ordering for data sent to frontend Ivan 2024-09-02 12:32:42 +0300
  • 6e0a80d9eb npm update Ivan 2024-09-02 12:20:17 +0300
  • 66cfbf01de M: Minor UI fix Ivan 2024-09-02 12:14:33 +0300
  • 40d3d0c28d B: Fix selection after substitutions Ivan 2024-09-02 12:11:18 +0300
  • c5c6c42007 B: Fix oss synthesis ordering and order propagation Ivan 2024-09-01 15:14:24 +0300
  • 02e8d24d2b B: Fix contextMenu overflow Ivan 2024-09-01 13:52:32 +0300
  • c44495a8b1 M: Fix inheritance indicators Ivan 2024-09-01 11:16:12 +0300
  • 323f124d68 M: Fix breaking word in expressions Ivan 2024-08-31 12:26:38 +0300
  • c0235e573a M: Small UI fixes Ivan 2024-08-30 20:18:21 +0300
  • 50452bd92d B: Fix input min-width Ivan 2024-08-30 11:03:45 +0300
  • ce73be22bf M: Remove expression column from sideview Ivan 2024-08-30 09:58:51 +0300
  • 89889c9f40 B: Fix error response to invalid file type Ivan 2024-08-30 09:42:48 +0300
  • 091b79f19b B: Small dialog fixes Ivan 2024-08-29 12:42:26 +0300
  • 5edf08a5cb F: Add xs size screen media query Ivan 2024-08-28 23:40:55 +0300
  • 55e09d856f B: Fix tooltip clipping after cst==null Ivan 2024-08-28 23:02:48 +0300
  • ddeab3bbb6 B: Small UI fixes Ivan 2024-08-28 22:38:50 +0300
  • de0b240e78 B: Fix library cache update after changing OSS Ivan 2024-08-28 21:32:12 +0300
  • cf3c9debc8 M: Small graph fixes Ivan 2024-08-28 16:50:14 +0300
  • 2fb64ef69a F: Add suggestions to substitution table Ivan 2024-08-28 15:43:28 +0300
  • fa6eb49172 M: Add warning if term expressions are not equal Ivan 2024-08-28 12:34:29 +0300
  • 25b577233b M: Small bug fixes Ivan 2024-08-28 00:00:04 +0300
  • bf72ea3d54 M: Small UI fixes Ivan 2024-08-27 11:34:36 +0300
  • f70f226c36 F: Implement typification checks on substitutions Ivan 2024-08-26 22:53:27 +0300
  • 134ef566be F: Implement basic substitution checks Ivan 2024-08-26 17:25:07 +0300
  • 8f1fbcde3d F: Add search feature to multiple cst selector Ivan 2024-08-25 13:49:28 +0300
  • e7678c979a M: Improve mobile UI Ivan 2024-08-24 19:41:29 +0300
  • 8bceeb2b38 F: Improve versioning UI Ivan 2024-08-24 12:29:38 +0300
  • c897966886 M: Small UI layout fixes Ivan 2024-08-24 11:21:02 +0300
  • e33e22006e npm update Ivan 2024-08-24 11:20:07 +0300
  • 2126ab5cac B: Fix RSForm editor layout Ivan 2024-08-24 08:24:32 +0300
  • faa0fd3fcc M: Minor syntax fixes Ivan 2024-08-23 22:53:53 +0300
  • b4d8ff74b2 F: Improve stats UI for OSS and RSForm Ivan 2024-08-23 21:29:07 +0300
  • 05920b1b6a F: Improve OSS deletion mechanics Ivan 2024-08-23 19:09:31 +0300
  • 251ebece5d M: Remove inheritance data from archive schemas Ivan 2024-08-23 18:32:40 +0300
  • 4eebcaef53 M: Improve stats labels Ivan 2024-08-23 12:35:48 +0300
  • 3381aaa0db M: Minor UI fixes Ivan 2024-08-22 23:24:10 +0300
  • f072edf701 F: Implement CSV export Ivan 2024-08-22 22:41:41 +0300
  • 568761cd61 M: Improve manuals Ivan 2024-08-22 21:39:19 +0300
  • e0189a2d26 M: Improve RSForm stats UI Ivan 2024-08-22 15:30:01 +0300
  • 6d710cb55f B: Fix renaming folders in user location Ivan 2024-08-22 10:45:50 +0300
  • 25f60a6597 npm update Ivan 2024-08-21 21:58:17 +0300
  • 6a1a4b8543 M: Improve LibraryItem editor Ivan 2024-08-21 21:36:29 +0300
  • 9b87120b1e R: Remove redundant font option Ivan 2024-08-21 20:32:17 +0300
  • ceba6b882f M: Improve graph UI Ivan 2024-08-21 20:21:23 +0300
  • 673ed0a9cb B: Fix empty constituenta tooltip bug Ivan 2024-08-21 17:06:48 +0300
  • 658de0545b F: Implement location editing + showSubfolders Ivan 2024-08-21 16:49:17 +0300