PARA EXPERIMENTAR --- http://hilbert.mat.uc.pt/GeoThms/loginregistration.php

2018/04/01 - Já o coloquei activo.

2018/04/01 - Os menus do "Interactive Workbench" estão inactivos

2018/04/01 - a "confusão está no avaliar dos GCLC WM e GBM ... que foram importados do TGTP


*) Help/Downloads --- está correcto

*)Problems List --- está correcto
 Add a new Geometric Problem
 See details
 update
 
*) Interactive Workbench
 Insert and Evaluate Code (DGS) --- XXX não está a seleccionar as construções
 Insert and Evaluate Code (GATP) --- XXX não está a seleccionar as construções
 
*) Provers & Drawers & Bibliography --- está correcto

*) Logout --- está correcto

*) Update your Personal Information --- está correcto

*) Change Password --- está correcto

*) Logs --- está correcto

*) Administration --- está correcto


ereg --- problemas >

preg_match

preg_match('/(foo)(bar)(baz)/', 'foobarbaz', $matches, PREG_OFFSET_CAPTURE);


index.php
=>Imagens/logoGeothmsSmall.png /
=>Imagens/logoGeoThms.jpg /
=>Imagens/geothmsLogo.jpg /
===>.gttu.php /
===>loginregistration.php 
===>help.php
===>footer.php - 7

loginregistration --- XXX
===>connect.php
===>Registry/registration.php
===>forgot_form.php
===>headerHome.php
===>menuHome.php

forgot_form.php
===>servidor.php
---cabeçalho (só)
===>forgotPasswd.php

forgotPasswd.php
===>dbLogin.php

Registry/registration.php
===>servidor.php
---menus
===>dbLogin.php
===>Registry/registerNew.php
===>footer.php

Registry/registerNew.php
===>servidor.php
---menus
===>dbLogin.php
===>Registry/dataValid.php
===>Registry/registration.php


Registry/changepasswd.php
===>servidor.php
---cabeçalho (só)
===>dbLogin.php
===>Registry/cChangepasswd.php


connect.php
===>headerHome.php
===>menuHome.php
===>login.php
===>footer.php - 7

login.php
===>servidor.php
===>headerHome.php
===>menuHome.php
===>.gttu.php
===>connect.php
===>contributers.php - XXX
===>admins.php       - XXX
===>users.php        - XXX

contributers.php
===>servidor.php
===>headerAdmins.php
===>menuAdmins.php
===>Registry/updateregistration.php
===>Registry/changepasswd.php
===>footer.php


menuAdmins.php
===>Administration/logs.php
===>Administration/administration.php
===>Geothms/insertUpdateGeoThms.php
===>otherInfo.php
===>logout.php

menuUsers.php
===>help.php
===>Geothms/listingGeoThms.php
===>interaction.php
===>otherInfo.php
===>logout.php

Geothms/listingGeoThms.php

interaction.php - V
---menus
===>Interaction/insertCode.php
===>Interaction/insertCodeProver.php
===> footer.php

Interaction/insertCode.php
---menus
===>Scrapbook/functionsScrapbook.php
===>Scrapbook/scrapbook.php
===>Interaction/iInsertCode.php
===>Interaction/view_image.php
===>Interaction/insertCodeProver.php

otherInfo.php - V
===>Provers/listingProvers.php
===>Drawers/listingDrawers.php
===>Authors/listingAuthors.php
===>BibRefs/listingBibrefs.php

Provers/listingProvers.php
---menus
===>dbLogin.php
===>seedetailsProver.php

Drawers/listingDrawers.php
---menus
===>dbLogin.php
===>seedetailsDrawer.php

Authors/listingAuthors.php
---menus
===>dbLogin.php
===>seedetailsAuthor.php
   
BibRefs/listingBibrefs.php
---menus
===>dbLogin.php
===>BibRefs/listingBibrefs.php
===>validateInsertGeoThm.php ???
===>BibRefs/insertBibref.php 
===>BibRefs/Forms/bibfile.php
===>BibRefs/seedetailsBibref.php
===>BibRefs/updateBibref.php 
===>BibRefs/Forms/bibfileAll.php

BibRefs/updateBibref.php
===> ../servidor.php + headers + menu + ligação + footer
===> BibRefs/uUpdateBibref.php - V

BibRefs/uUpdateBibref.php
===> ../servidor.php + headers + menu + ligação + footer
===> BibRefs/listingBibrefs.php - v


BibRefs/Forms/bibfile.php
---menus
===>dbLogin.php
===>footer.php

BibRefs/Forms/bibfileAll.php V
---menus
===>dbLogin.php
===>footer.php

BibRefs/insertBibref.php
---menus
===>BibRefs/iInsertBibref.php


BibRefs/iInsertBibref.php
---menus
listingBibrefs.php


admins.php
===>headerUsers.php
===>menuUsers.php
===>headerAdmins.php
===>menuAdmins.php
===>Registry/updateregistration.php
===>footer.php

Geothms/insertUpdateGeoThms.php
===>Geothms/validateInsertGeoThm.php
===>Geothms/Forms/formGeoThm.php
===>Geothms/updateGeoThm.php
===>Geothms/view_imageThumbnail.php


Geothms/validateInsertGeoThm.php
===>Geothms/insertGeoThm.php
===>Geothms/Forms/formGeoThm.php
===>Geothms/updateGeoThm.php

Geothms/insertGeoThm.php
===> ../servidor.php + headers + menu + ligação + footer
===>Geothms/iInsertGeoThm.php

Geothms/iInsertGeoThm.php
===> ../servidor.php + headers + menu + ligação + footer
===>Geothms/insertUpdateGeoThms.php

Geothms/updateGeoThm.php
===> ../servidor.php + headers + menu + ligação + footer
===>Figures/insertFigure.php
===>Proofs/insertProof.php
===>Geothms/uUpdateGeoThm.php

Figures/insertFigure.php
===> .../servidor.php + headers + menu + ligação + footer
===>Figures/iInsertFigure.php - v?

Proofs/insertProof.php
===> ../servidor.php + headers + menu + ligação + footer
===>Proofs/iInsertProof.php

Proofs/iInsertProof.php
===> ../servidor.php + headers + menu + ligação + footer
===> Proofs/iInsertProofGCLCprover.php - v?
===> Proofs/iInsertProofGCLCproverEuk.php - v?
===> Proofs/iInsertProofCoqJN.php - v?
===> Proofs/iInsertProofGCLCproverWM.php - ?v
===> Proofs/iInsertProofGCLCproverGBM.php - ?v
===> Geothms/updateGeoThm.php

Geothms/Forms/formGeoThm.php
===>Geothms/Forms/view_imagePNG.php
===>Geothms/Forms/formGeoThmGCLCprover.php
===>Geothms/Forms/formGeoThmGCLCproverEuk.php
===>Geothms/Forms/formGeoThmCoqJN.php

Interaction/view_image.php

Geothms/Forms/view_imagePNG.php - v

Geothms/Forms/formGeoThmGCLCprover.php - v

Geothms/Forms/formGeoThmGCLCproverEuk.php - v

Geothms/Forms/formGeoThmCoqJN.php - v


users.php
===>servidor.php
===>headerUsers.php
===>menuUsers.php
===>headerAdmins.php
===>menuAdmins.php
===>Registry/updateregistration.php
===>changepasswd.php
===>footer.php


Registry/registration.php
===>servidor.php /
===>Registry/loginreg.php - 7
===>Registry/headerReg.php /
===>Registry/menuReg.php /
===>Registry/register_new.php /
===>footer.php /

Registry/register_new.php
===>Registry/headerReg.php /
===>Registry/menuReg.php /
===>Registry/data_valid.php /
===>Registry/registration.php

Registry/updateregistration.php
===>servidor.php
--- menus
===>dbLogin.php
===>Registry/uUpdateregistration.php

Registry/loginreg.php 
===>servidor.php
===>.gttu.php 


Registry/uUpdateregistration.php
===>servidor.php
---menus
dbLogin.php
contributers.php
users.php

menuHome.php
===>help.php
===>logout.php

 help.php 
 ===>servidor.php /
 ===>headerUsers.php
 ===>menuHelp.php
 ===>Help/helpGeneric.php
 ===>Help/helpInteraction.php
 ===>footer.php

 footer.php
 ===>servidor.php /
 ===>dbLogin.php - 7

dbLogin.php
===>servidor.php /
===>.gttu.php /
===> index.php (em caso de erro)

headerUsers.php
===>StyleSheets/geothms.css /
===>Imagens/logoGeothmsSmall.png /
===>Imagens/geothmsLogo.jpg /
===>Imagens/logoGeothmsSmall.png /

headerAdmin.php
===>StyleSheets/geothms.css /
===>Imagens/logoGeothmsSmall.png /
===>Imagens/geothmsLogo.jpg /
===>Imagens/logoGeothmsSmall.png /

menuHelp.php
===> (the calling page)
===> logout.php - 7

Help/helpGeneric.php
===>http://hilbert.mat.uc.pt/phpbb/viewforum.php?f=3 XXX
===>http://www.matf.bg.ac.rs/~janicic/gclc/
===>Downloads/geo-xml.zip
===>Documentation/adg06PJPQ.pdf
===>Documentation/uitp06PQPJ.pdf
===>Documentation/ijcar06PJPQ.pdf
===>Documentation/mkm06PQPJ.pdf
===>Documentation/gazeta151PQAP.pdf
===>Documentation/techRepCISUC0602.pdf
===>Documentation/techRepCISUC0601.pdf

logout.php
===>servidor.php
===>header.php
===>login4logout.php


login4logout.php
===>servidor.php
===>.gttu.php

Interaction/insertCode.php
===>servidor+dbLogin+headers+menus+footer
===>Scrapbook/functionsScrapbook.php
===>Scrapbook/scrapbook.php
===>Interaction/iInsertCode.php
===>Scrapbook/view_image.php
===>Interaction/insertCodeProver.php

Scrapbook/functionsScrapbook.php - v

Scrapbook/scrapbook.php
===>Scrapbook/saveIntoScrapbook.php
===>Scrapbook/selectFromScrapbook.php
===>Scrapbook/deleteFromScrapbook.php

Interaction/iInsertCode.php
===>servidor+dbLogin+headers+menus+footer
===>Interaction/insertCode.php
===>Interaction/evaluateCode.php

Interaction/evaluateCode.php
===>servidor.php
---menus
===>dbLogin.php
===>Interaction/insertCode.php
===>Interaction/evaluateCode.php
===>footer.php

Interaction/insertCodeProver.php
===>servidor.php
---menus
===>dbLogin.php
===>Scrapbook/functionsScrapbook.php
===>Interaction/showResultsGCLCprover.php - v
===>Interaction/showResultsGCLCproverEuk.php - v
===>Interaction/showResultsCoqJN.php - v
===>Interaction/showResultsGCLCproverWM.php - v
===>Interaction/showResultsGCLCproverGBM.php - v
===>Interaction/iInsertCodeProver.php
===>footer.php


Interaction/showResultsGCLCprover.php

Interaction/showResultsGCLCproverWM.php 

Interaction/showResultsGCLCproverGBM.php


Interaction/iInsertCodeProver.php --- ?
===>servidor.php
---menus
===>dbLogin.php
===>Interaction/evaluateCodeProver.php
===>footer.php


Interaction/evaluateCodeProver.php
===>servidor.php
---menus
===>dbLogin.php
===>Interaction/evaluateCodeGCLCprover.php - v
===>Interaction/evaluateCodeGCLCproverEuk.php - v
===>Interaction/evaluateCodeCoqJN.php - v
===>footer.php


Administration/logs.php
---menus
===>Administration/lastLogsPerUser.php
===>Administration/lastLogsPerDate.php
===>footer.php


Administration/lastLogsPerUser.php - V 
---menus
===>dbLogin.php
===>Administration/userlog.php 
===>footer.php

Administration/userlog.php - V
---menus
===>dbLogin.php
===>footer.php

Administration/lastLogsPerDate.php - V
---menus
===>dbLogin.php
===>Administration/userlog.php 
===>footer.php

Administration/administration.php
---menus
===>dbLogin.php
===>Administration/adminUsers.php
===>footer.php


Administration/adminUsers.php
---menus
===>dbLogin.php
===>Administration/formUser.php
===>Administration/transformUser.php
===>footer.php

Administration/formUser.php - V
---menus
===>dbLogin.php
===>footer.php


Administration/transformUser.php - V
---menus
===>dbLogin.php
===>Administration/tTransformUser.php
===>footer.php
