Index of /papers/POPL2019/assets/player

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      gl/                     2023-08-06 14:59    -   
      pdfjs/                  2023-08-06 15:39    -   
      OrientationControlle..> 2023-08-06 14:09  662   
      left_arrow_mobile_d.png 2023-08-06 14:09  736   
      AnimationManager.js     2023-08-06 14:09  746   
      right_arrow_mobile_d..> 2023-08-06 14:09  775   
      left_arrow_mobile_n.png 2023-08-06 14:10  821   
      right_arrow_mobile_n..> 2023-08-06 14:10  837   
      kn-cloud_pd_help_btn..> 2023-08-06 14:09  1.2K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:09  1.3K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:10  1.3K  
      waiting_bezel.png       2023-08-06 14:09  1.4K  
      SlideNumberControlle..> 2023-08-06 14:09  1.5K  
      SlideManager.js         2023-08-06 14:09  1.6K  
      left_arrow_mobile_d-..> 2023-08-06 14:09  1.8K  
      right_arrow_mobile_d..> 2023-08-06 14:09  1.8K  
      right_arrow_mobile_n..> 2023-08-06 14:10  1.8K  
      left_arrow_mobile_n-..> 2023-08-06 14:09  1.9K  
      TSDAnimation.js         2023-08-06 14:09  2.0K  
      StageManager.js         2023-08-06 14:10  2.4K  
      NarrationManager.js     2023-08-06 14:09  2.5K  
      KeynoteDHTMLPlayer.html 2023-08-06 14:10  3.2K  
      Utilities.js            2023-08-06 14:09  3.7K  
      close_p@2x.png          2023-08-06 14:09  4.1K  
      close_hi@2x.png         2023-08-06 14:09  4.1K  
      close_n@2x.png          2023-08-06 14:09  4.3K  
      HelpPlacardControlle..> 2023-08-06 14:10  4.4K  
      KNTransitionSlide_Bl..> 2023-08-06 14:10  4.8K  
      DebuggingSupport.js     2023-08-06 14:09  5.5K  
      TouchController.js      2023-08-06 14:09  6.2K  
      string.js               2023-08-06 14:09  7.0K  
      NavigatorController.js  2023-08-06 14:10  7.3K  
      TextureManager.js       2023-08-06 14:09  7.9K  
      KNTransitionSwoosh_S..> 2023-08-06 14:09  8.2K  
      KeynoteDHTMLPlayer.js   2023-08-06 14:10   11K  
      DisplayManager.js       2023-08-06 14:09   15K  
      KeynoteDHTMLPlayer.css  2023-08-06 14:10   17K  
      ScriptManager.js        2023-08-06 14:09   25K  
      spinner.png             2023-08-06 14:10   25K  
      ShowController.js       2023-08-06 14:09   36K  
      KPFObjects.js           2023-08-06 14:09   56K  
      Help.png                2023-08-06 14:09   65K  
      Acknowledgements.pdf    2023-08-06 14:09   74K  
      prototype.js            2023-08-06 14:10  159K