Skip to content
Snippets Groups Projects
Select Git revision
  • 197eb5fa1bf4e0597baa0caec7ca54a220b72394
  • master default
  • patch-1
3 results

pagination.html

Forked from KWARC / kwarc.info / www
Source project has a limited visibility.
user avatar
MaZiFAU authored
Known Bugs;
+ Saving/Loading [Experimental]

BugFixes;
+ Server caching may pose the need for postponed Stage loading
+ Server cheches wrong label -> send fact with new one.
+ New Facts may have Definisions()==null -> null.ToString() for ID
+-> MMTFact.ToString() as Fallback

Facts;
+ Further decoupled from FactRecorder
+-> labeling done JIT by FactRecorder
+ Caching: object CompiledValue && Expression CompileBase

Misc;
+ added SOMDoc(from)Object(object)
+ StageStatic.ShallowLoadStages(bool): streamlined loading in case of failure due to unloaded dependecies (e.g.: ContextRecorder)
47feb1f4
History